Package: libghc-agda-dev Priority: extra Section: universe/haskell Installed-Size: 79811 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.2.2-1 Provides: libghc-agda-dev-2.3.2.2-ffa3d Depends: libghc-quickcheck-dev-2.6-409fc, libghc-array-dev-0.4.0.1-3b784, libghc-base-dev-4.6.0.1-8aa5d, libghc-binary-dev-0.5.1.1-72ed7, libghc-bytestring-dev-0.10.0.2-4f932, libghc-containers-dev-0.5.0.0-ab1da, libghc-deepseq-dev-1.3.0.1-5cc4c, libghc-directory-dev-1.2.0.1-91a78, libghc-filepath-dev-1.3.0.1-b12cb, libghc-geniplate-dev-0.6.0.3-3e00a, libghc-hashable-dev-1.2.1.0-7e831, libghc-hashtables-dev-1.0.1.8-14f0b, libghc-haskeline-dev-0.7.0.3-605ba, libghc-haskell-src-exts-dev-1.14.0-333a3, libghc-mtl-dev-2.1.2-94c72, libghc-parallel-dev-3.2.0.3-d6c02, libghc-pretty-dev-1.1.1.0-66181, libghc-process-dev-1.1.0.2-76e05, libghc-text-dev-0.11.3.1-e3885, libghc-time-dev-1.4.0.1-10dc4, libghc-unordered-containers-dev-0.2.3.0-9584b, libghc-xhtml-dev-3000.2.1-22b74, libghc-zlib-dev-0.5.4.1-13ba8 Suggests: libghc-agda-doc Filename: pool/universe/a/agda/libghc-agda-dev_2.3.2.2-1_amd64.deb Size: 13586672 MD5sum: a21eea14fcd0c41995ed3f3fa666e564 SHA1: 19984556b8702c5102b21c3b3765dfc07b096cea SHA256: f542110323022ebe6d3c4ac50c06125c71596df15c98fe61fad5c9049fdd05a0 Description: dependently typed functional programming language Homepage: http://wiki.portal.chalmers.se/agda/ Ghc-Package: Agda-2.3.2.2-ffa3dd3f49f48033525128e52b6bd62e Description-md5: 44cf6014f9aa8a59c88d6828c0c5799b Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu