Package: libghc-agda-dev Priority: extra Section: universe/haskell Installed-Size: 85948 Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Architecture: i386 Source: agda Version: 2.4.2.5-1build1 Provides: libghc-agda-dev-2.4.2.5-a3c9f Depends: libc6 (>= 2.0), libghc-quickcheck-dev-2.8.1-c1c85, libghc-array-dev-0.5.1.0-98220, libghc-base-dev-4.8.2.0-a3ce8, libghc-binary-dev-0.7.5.0-35c4b, libghc-boxes-dev-0.1.4-128a0, libghc-bytestring-dev-0.10.6.0-89a6f, libghc-containers-dev-0.5.6.2-5879d, libghc-data-hash-dev-0.2.0.1-7c622, libghc-deepseq-dev-1.4.1.1-d8d3c, libghc-directory-dev-1.2.2.0-97fb5, libghc-edit-distance-dev-0.2.2.1-9d389, libghc-equivalence-dev-0.3.1-7078e, libghc-filepath-dev-1.4.0.0-59267, libghc-geniplate-mirror-dev-0.7.1-1a17b, libghc-hashable-dev-1.2.3.3-bc42a, libghc-hashtables-dev-1.2.1.0-550a3, libghc-haskeline-dev-0.7.2.1-7776d, libghc-haskell-src-exts-dev-1.17.1-556cd, libghc-mtl-dev-2.2.1-05005, libghc-parallel-dev-3.2.1.0-c388a, libghc-pretty-dev-1.1.2.0-05f1b, libghc-process-dev-1.2.3.0-c6360, libghc-strict-dev-0.3.2-063bb, libghc-template-haskell-dev-2.10.0.0-519a3, libghc-text-dev-1.2.2.0-5a148, libghc-time-dev-1.5.0.1-f2449, libghc-transformers-dev-0.4.2.0-a5bbd, libghc-transformers-compat-dev-0.4.0.4-8aa40, libghc-unordered-containers-dev-0.2.5.1-2efe5, libghc-xhtml-dev-3000.2.1-7f8e2, libghc-zlib-dev-0.6.1.1-2fdeb Suggests: libghc-agda-doc Filename: pool/universe/a/agda/libghc-agda-dev_2.4.2.5-1build1_i386.deb Size: 10538222 MD5sum: 1ef35f1e1d612e85678cd5127791515c SHA1: 459cd597ef9af4a06bc4cd9db4c7d9ebc37a7627 SHA256: df42d72eb160c42f97c2f7cacaaaddb2cd16148f8614f7840731811cc95daa47 Description: dependently typed functional programming language Homepage: http://wiki.portal.chalmers.se/agda/ Ghc-Package: Agda-2.4.2.5-a3c9fcad7af593090b5d29ac03f83935 Description-md5: 367dee38c949eb56c7f0325161eedb49 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu