logic-classes-0.47: dependencies

Dependencies for logic-classes-0.47

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