Agda-2.2.2: dependencies

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)

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