yices-0.0.0.9: dependencies

Dependencies for yices-0.0.0.9

library	base (>=4 && <5) parsec process template-haskell th-lift