Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
logic-TPTP-0.2.0.7
library
ansi-wl-pprint
(<1.0)
array
base
(>=4 && <5)
containers
mtl
(<2.3)
QuickCheck
(>=2)
syb
utf8-prelude