Dependencies for Agda-2.2.2
Libraries
Agda
- 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)
Executables
agda-mode
- base (>=3 && <4)
- filepath (>=1.1 && <2)
- process (>=1.0.1.0 && <2)
- utf8-string (>=0.3 && <0.4)