afv-0.0.0: dependencies

Dependencies for afv-0.0.0

afv	base (>=4 && <5) bytestring (>=0.9.1 && <0.9.2) directory (>=1.0 && <1.1) language-c (>=0.3 && <0.4) mtl (>=1.1 && <1.2) process (>=1.0 && <1.1) yices (>=0.0.0.4 && <0.1)