why3-0.8: dependencies

Dependencies for why3-0.8

library	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)