logic-classes-0.45: dependencies

Dependencies for logic-classes-0.45

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