logic-classes-1.7.1: dependencies

Dependencies for logic-classes-1.7.1

library	applicative-extras atp-haskell base (>=4.3 && <5) containers HUnit mtl parsec pretty (>=1.1.2) PropLogic safe safecopy set-extra syb template-haskell

Name	Description	Default
local-atp-haskell		Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info