Agda-2.2.4: dependencies

Dependencies for Agda-2.2.4

library	array (>=0.1 && <1) base (>=4.1 && <4.2) 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) syb (>=0.1 && <0.2) 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 (>=4.1 && <4.2) filepath (>=1.1 && <2) process (>=1.0.1.0 && <2) utf8-string (>=0.3 && <0.4)

library

array (>=0.1 && <1)
base (>=4.1 && <4.2)
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)
syb (>=0.1 && <0.2)
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