logic-classes-1.1: dependencies

Dependencies for logic-classes-1.1

library	applicative-extras base (>=4.3 && <5) containers fgl happstack-data incremental-sat-solver mtl pretty PropLogic safecopy set-extra syb syb-with-class text
tests	HUnit