afv-0.0.1: dependencies

Dependencies for afv-0.0.1

afv	base (>=4 && <5) bytestring (>=0.9 && <1.0) directory (>=1.0 && <1.1) language-c (>=0.3.1.1) mtl (>=1.1 && <1.2) process (>=1.0 && <1.1) yices (>=0.0.0.6)