exe:boogaloo

Dependencies

• ansi-terminal lib:ansi-terminal >=0.5 && <0.6
• base lib:base >=4 && <5
• cmdargs lib:cmdargs >=0.10 && <0.11
• containers lib:containers >=0.4 && <0.6
• language-boogie lib:language-boogie >=0.2 && <0.3
• lens lib:lens >=3.7 && <3.8
• mtl lib:mtl >=2.1 && <2.2
• parsec lib:parsec >=3.1 && <3.2
• pretty lib:pretty >=1.1 && <1.2
• random lib:random (>=1.0 && <1.1) && >=1.0 && <1.1
• stream-monad lib:stream-monad >=0.4 && <0.5
• time lib:time >=1.4 && <1.5
• transformers lib:transformers >=0.3 && <0.4

Reverse dependencies

None.