Package: libghc-agda-dev Architecture: i386 Version: 2.5.3-3build1 Priority: extra Section: universe/haskell Source: agda Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 130094 Provides: libghc-agda-dev-2.5.3-dd3e7 Depends: libghc-edisoncore-dev-1.3.1.1-ee3d4, libghc-array-dev-0.5.1.1-4c8b7, libghc-async-dev-2.1.1.1-dfd28, libghc-base-dev-4.9.1.0-5a696, libghc-binary-dev-0.8.3.0-93a7a, libghc-blaze-html-dev-0.9.0.1-7d8ae, libghc-boxes-dev-0.1.4-409ba, libghc-bytestring-dev-0.10.8.1-a98c5, libghc-containers-dev-0.5.7.1-ed950, libghc-data-hash-dev-0.2.0.1-e622d, libghc-deepseq-dev-1.4.2.0-ab902, libghc-directory-dev-1.3.0.0-b5c22, libghc-edit-distance-dev-0.2.2.1-78656, libghc-equivalence-dev-0.3.2-f23ce, libghc-filepath-dev-1.4.1.1-32f1a, libghc-geniplate-mirror-dev-0.7.5-4ebfa, libghc-gitrev-dev-1.3.1-c4ef9, libghc-hashable-dev-1.2.6.1-86b66, libghc-hashtables-dev-1.2.2.1-da884, libghc-haskeline-dev-0.7.3.0-5507e, libghc-ieee754-dev-0.8.0-2f219, libghc-monadplus-dev-1.4.2-6467b, libghc-mtl-dev-2.2.1-93d32, libghc-murmur-hash-dev-0.1.0.9-5ec8f, libghc-parallel-dev-3.2.1.1-2b7ad, libghc-pretty-dev-1.1.3.3-92eaa, libghc-process-dev-1.4.3.0-7d693, libghc-regex-tdfa-dev-1.2.2-1c819, libghc-stm-dev-2.4.4.1-84028, libghc-strict-dev-0.3.2-30063, libghc-template-haskell-dev-2.11.1.0-ae950, libghc-text-dev-1.2.2.2-4f564, libghc-time-dev-1.6.0.1-fbdf1, libghc-transformers-dev-0.5.2.0-e204f, libghc-unordered-containers-dev-0.2.8.0-8dcba, libghc-uri-encode-dev-1.5.0.5-fcf93, libghc-zlib-dev-0.6.1.2-f6ce5, libc6 (>= 2.3.6-6~), libgmp10, libtinfo5 (>= 6), zlib1g (>= 1:1.1.4) Suggests: libghc-agda-doc Filename: pool/universe/a/agda/libghc-agda-dev_2.5.3-3build1_i386.deb Size: 15587704 MD5sum: eb86c9ac3c19b6a7227cda9deca18bc7 SHA1: 49f683e4826d4cab452e8933232159e78e5a499b SHA256: 85ede539cbbc065035026f97bcf091171def6fe5db6fcdebe57c4d4601f6f03a Homepage: http://wiki.portal.chalmers.se/agda/ Description: dependently typed functional programming language Ghc-Package: Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS Description-md5: 367dee38c949eb56c7f0325161eedb49