exe:tamarin-prover

Dependencies

• HUnit lib:HUnit >=1.2 && <1.3
• aeson lib:aeson >=0.6 && <0.7
• array lib:array >=0.3
• base lib:base >=4 && <5
• binary lib:binary >=0.5 && <0.6
• blaze-builder lib:blaze-builder >=0.3
• blaze-html lib:blaze-html >=0.5
• bytestring lib:bytestring >=0.9 && >=0.9
• cmdargs lib:cmdargs >=0.10 && <0.11
• conduit lib:conduit >=1.0 && <1.1
• containers lib:containers >=0.4.2
• deepseq lib:deepseq >=1.3
• derive lib:derive >=2.5 && <2.6
• directory lib:directory >=1.0
• dlist lib:dlist >=0.5
• fclabels lib:fclabels >=1.1 && <1.2
• filepath lib:filepath >=1.1
• hamlet lib:hamlet >=1.1
• http-types lib:http-types >=0.7
• lifted-base lib:lifted-base >=0.2.0.5
• monad-control lib:monad-control >=0 && <1
• mtl lib:mtl >=2.1
• old-locale lib:old-locale >=1 && <2
• parallel lib:parallel >=3.2 && <3.3
• parsec lib:parsec >=3.1 && <3.2
• process lib:process >=1.1 && <1.2
• safe lib:safe >=0.2
• shakespeare lib:shakespeare >=2.0 && <2.1
• syb lib:syb >=0.3.3
• tamarin-prover-term lib:tamarin-prover-term >=0.8.5.1 && <0.9
• tamarin-prover-theory lib:tamarin-prover-theory >=0.8.6.0 && <0.9
• tamarin-prover-utils lib:tamarin-prover-utils >=0.8.5.1 && <0.9
• text lib:text >=0.11 && <0.12
• threads lib:threads >=0.4
• time lib:time >=1.2
• transformers lib:transformers >=0.3
• uniplate lib:uniplate >=1.6 && <1.7
• wai lib:wai >=1.3
• warp lib:warp >=1.3
• yesod-core lib:yesod-core >=1.2.6.6
• yesod-json lib:yesod-json >=1.2
• yesod-static lib:yesod-static >=1.2

Reverse dependencies

None.