yices-0.0.0.11: dependencies

Dependencies for yices-0.0.0.11

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