logic-classes-1.4.5: dependencies

Dependencies for logic-classes-1.4.5

library	applicative-extras base (>=4.3 && <5) containers fgl HUnit incremental-sat-solver mtl pretty PropLogic (>=0.9.0.3) 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