Dependencies for why3-0.8
Libraries
why3
- array (>=0.4 && <0.6)
- base (>=4.6 && <4.9)
- bytestring (>=0.10 && <0.11)
- containers (>=0.5 && <0.6)
- deepseq (>=1.3 && <1.5)
- directory (>=1.2 && <1.3)
- filepath (>=1.3 && <1.5)
- monadLib (>=3.7 && <3.8)
- pretty (>=1.1 && <1.2)
- pretty-show (>=1.6 && <1.7)
- profunctors (>=5.1 && <5.2)
- text (>=1.2 && <1.3)