Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
Agda-2.2.2
library
array
(>=0.1 && <1)
base
(>=3 && <4)
binary
(>=0.4.4 && <0.6)
bytestring
(>=0.9.0.1 && <1)
containers
(>=0.1.0 && <1)
directory
(>=1 && <2)
filepath
(>=1.1 && <2)
haskeline
(>=0.3 && <0.7)
haskell-src
(>=1.0.1.1 && <2)
haskell98
(>=1.0.1 && <2)
mtl
(>=1.1 && <2)
old-time
(>=1 && <2)
pretty
(>=1 && <2)
process
(>=1.0.1.0 && <2)
QuickCheck
(==2.1.0.1)
utf8-string
(>=0.3 && <0.4)
xhtml
(>=3000.2 && <3000.3)
zlib
(>=0.4.0.1 && <1)
if
impl(ghc>=6.10)
ghc-prim
(>=0.1 && <1)
agda-mode
base
(>=3 && <4)
filepath
(>=1.1 && <2)
process
(>=1.0.1.0 && <2)
utf8-string
(>=0.3 && <0.4)