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