The latest version of language-boogie is 0.2-0.
exe:boogaloo
Dependencies
- base lib:base >=4.5 && <4.6
- cmdargs lib:cmdargs >=0.10 && <0.11
- containers lib:containers >=0.4 && <0.5
- language-boogie lib:language-boogie >=0.1 && <0.2
- 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
- time lib:time >=1.4 && <1.5
- transformers lib:transformers >=0.3 && <0.4
Reverse dependencies
None.