Package: libghc-agda-dev Source: agda (2.3.0.1-2) Version: 2.3.0.1-2+b1 Installed-Size: 78777 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Architecture: amd64 Provides: libghc-agda-dev-2.3.0.1-1006f Depends: libghc-quickcheck-dev-2.4.2-41cb2, libghc-array-dev-0.4.0.0-59d1c, libghc-base-dev-4.5.0.0-40b99, libghc-binary-dev-0.5.1.0-d85d7, libghc-bytestring-dev-0.9.2.1-18f26, libghc-containers-dev-0.4.2.1-cfc64, libghc-directory-dev-1.1.0.2-ebaca, libghc-filepath-dev-1.3.0.0-973f5, libghc-hashable-dev-1.1.2.3-1b1ae, libghc-hashtables-dev-1.0.1.4-c8243, libghc-haskeline-dev-0.6.4.7-2c076, libghc-haskell-src-exts-dev-1.11.1-59039, libghc-mtl-dev-2.1.1-80110, libghc-old-time-dev-1.1.0.0-b7778, libghc-pretty-dev-1.1.1.0-74ee6, libghc-process-dev-1.1.0.1-18dad, libghc-syb-dev-0.3.6.1-25afc, libghc-xhtml-dev-3000.2.1-c15f9, libghc-zlib-dev-0.5.3.3-25bc9 Suggests: libghc-agda-doc Description: dependently typed functional programming language - development libraries Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 91cfdcbd0be2f6d77c9fec3bc64de860 Section: haskell Priority: extra Filename: pool/main/a/agda/libghc-agda-dev_2.3.0.1-2+b1_amd64.deb Size: 13049408 MD5sum: 201beef6b95530d5900621864b3956b1 SHA1: 7e373662b4809aeee670d36f590df71130e94daa SHA256: d4d787bd05e403b0d1439cbc099afe3462ed9da39b9bfc4f8eacb282cdb980a6