exe:tamarin-prover

Dependencies

• HUnit lib:HUnit >=1.2 && <1.3
• aeson lib:aeson >=0.6 && <0.7
• array lib:array >=0.3 && <0.5
• base lib:base >=4 && <5
• binary lib:binary >=0.5 && <0.6
• blaze-builder lib:blaze-builder >=0.3 && <0.4
• blaze-html lib:blaze-html >=0.5 && <0.6
• bytestring lib:bytestring >=0.9 && >=0.9 && <0.10
• cmdargs lib:cmdargs >=0.10 && <0.11
• conduit lib:conduit >=0.5 && <0.6
• containers lib:containers >=0.4.2 && <0.5
• deepseq lib:deepseq >=1.3 && <1.4
• derive lib:derive >=2.5 && <2.6
• directory lib:directory >=1.0 && <1.2
• dlist lib:dlist >=0.5 && <0.6
• fclabels lib:fclabels >=1.1 && <1.2
• filepath lib:filepath >=1.1 && <1.4
• hamlet lib:hamlet >=1.1 && <1.2
• http-types lib:http-types >=0.7 && <0.8
• lifted-base lib:lifted-base >=0.1 && <0.2
• monad-control lib:monad-control >=0.3 && <0.4
• mtl lib:mtl >=2.0 && <2.1
• old-locale lib:old-locale >=1.0 && <1.1
• 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 && <0.4
• syb lib:syb (>=0.3 && <0.4) && >=0.3.3
• tamarin-prover-term lib:tamarin-prover-term >=0.8.4 && <0.9
• tamarin-prover-theory lib:tamarin-prover-theory >=0.8.4 && <0.9
• tamarin-prover-utils lib:tamarin-prover-utils >=0.8.4 && <0.9
• text lib:text >=0.11 && <0.12
• threads lib:threads >=0.4 && <0.6
• time lib:time >=1.2 && <1.5
• transformers lib:transformers >=0.2 && <0.3
• uniplate lib:uniplate >=1.6 && <1.7
• wai lib:wai >=1.3 && <1.4
• warp lib:warp >=1.3 && <1.4
• yesod-core lib:yesod-core >=1.1 && <1.2
• yesod-json lib:yesod-json >=1.1 && <1.2
• yesod-static lib:yesod-static >=1.1 && <1.2

Reverse dependencies

None.