cflp-2009.2.1: dependencies

Dependencies for cflp-2009.2.1

library	base (>=4 && <5) containers control-monad-omega HUnit incremental-sat-solver level-monad logict MonadRandom mtl random stream-monad syb value-supply