fault-tree-0.0.0: dependencies

Dependencies for fault-tree-0.0.0

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