yices-easy-0.1: dependencies

Dependencies for yices-easy-0.1

library	base (>=3 && <5) bindings-yices (>=0.2) containers (>=0.3) transformers (>=0.2)