Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
free-theorems-counterexamples-0.3.0.1
library
containers
(>=0.1.0.1)
haskell-src
(>=1.0)
haskell-src-exts
(>=0.3.9)
HUnit
(>=1.2)
mtl
(>=1.0)
pretty
(>=1.0.0.0)
if
impl(ghc>=6.10)
base
(>=4)
syb
(>=0.1.0.0)
else
base
(>=1 && <4)
counterexamples.cgi
cgi
free-theorems
(>=0.3.1)
utf8-string
xhtml