Package: libghc-agda-dev Priority: extra Section: universe/haskell Installed-Size: 78791 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Architecture: amd64 Source: agda Version: 2.3.0.1-1build2 Provides: libghc-agda-dev-2.3.0.1-d159f 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-6744a, libghc-hashtables-dev-1.0.1.4-af8a9, libghc-haskeline-dev-0.6.4.6-72aae, libghc-haskell-src-exts-dev-1.11.1-59039, libghc-mtl-dev-2.0.1.0-db19d, 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-080af, libghc-xhtml-dev-3000.2.0.5-9a3b4, libghc-zlib-dev-0.5.3.3-25bc9 Suggests: libghc-agda-doc Filename: pool/universe/a/agda/libghc-agda-dev_2.3.0.1-1build2_amd64.deb Size: 13034196 MD5sum: 7f9831011453f89fa2ee92ae8216c4af SHA1: 754bb2d207644a949a4265645405c6c4bf7e9211 SHA256: 99763cb396a7bf99ff3d9dbf82fc51a7d7e50f5f8c968ca201840de4b949098a Description: dependently typed functional programming language - development libraries Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 91cfdcbd0be2f6d77c9fec3bc64de860 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu