Dependencies for fault-tree-0.0.0

Libraries

fault-tree

base (>=4.0 && <5)
yices (>=0.0.0.7 && <0.0.1)