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.4 && <0.5
• bytestring lib:bytestring (>=0.9 && <0.10) && >=0.9 && <0.10
• cmdargs lib:cmdargs >=0.9 && <0.10
• 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
• fclabels lib:fclabels >=1.1 && <1.2
• filepath lib:filepath >=1.1 && <1.4
• hamlet lib:hamlet >=0.10 && <0.11
• http-types lib:http-types >=0.6 && <0.7
• lifted-base lib:lifted-base >=0
• 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.4.1 && <0.4.2
• tamarin-prover-utils lib:tamarin-prover-utils >=0.4.1 && <0.4.2
• text lib:text >=0.11 && <0.12
• threads lib:threads >=0.4 && <0.5
• 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.1 && <1.2
• warp lib:warp >=1.1 && <1.2
• yesod-core lib:yesod-core >=0.10 && <0.11
• yesod-json lib:yesod-json >=0.3 && <0.4
• yesod-static lib:yesod-static >=0.10 && <0.11

Reverse dependencies

None.