logic-classes-1.4.2: dependencies

Dependencies for logic-classes-1.4.2

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