Package: libghc-agda-dev Architecture: amd64 Version: 2.6.0.1-1build4 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: 199883 Provides: libghc-agda-dev-2.6.0.1-e1905 Depends: libghc-edisoncore-dev-1.3.2.1-83c47, libghc-aeson-dev-1.4.2.0-fe1b8, libghc-array-dev-0.5.3.0-ea273, libghc-async-dev-2.2.2-1bf81, libghc-base-dev-4.12.0.0-a86a1, libghc-binary-dev-0.8.6.0-5ca49, libghc-blaze-html-dev-0.9.1.1-d206c, libghc-boxes-dev-0.1.5-27afd, libghc-bytestring-dev-0.10.8.2-20f27, libghc-containers-dev-0.6.0.1-b7319, libghc-data-hash-dev-0.2.0.1-59c2c, libghc-deepseq-dev-1.4.4.0-b5530, libghc-directory-dev-1.3.3.0-40647, libghc-edit-distance-dev-0.2.2.1-b8400, libghc-equivalence-dev-0.3.4-93646, libghc-exceptions-dev-0.10.2-29311, libghc-filepath-dev-1.4.2.1-774a0, libghc-geniplate-mirror-dev-0.7.6-2226f, libghc-gitrev-dev-1.3.1-dbf1a, libghc-hashable-dev-1.2.7.0-4dcfe, libghc-hashtables-dev-1.2.3.3-dc2af, libghc-haskeline-dev-0.7.4.3-42a19, libghc-ieee754-dev-0.8.0-8f285, libghc-mtl-dev-2.2.2-07ff1, libghc-murmur-hash-dev-0.1.0.9-222c3, libghc-pretty-dev-1.1.3.6-4f0eb, libghc-process-dev-1.6.5.0-e8028, libghc-regex-tdfa-dev-1.2.3.2-9c517, libghc-split-dev-0.2.3.3-ec171, libghc-stm-dev-2.5.0.0-daead, libghc-strict-dev-0.3.2-9c8e0, libghc-template-haskell-dev-2.14.0.0-47084, libghc-text-dev-1.2.3.1-538d8, libghc-time-dev-1.8.0.2-76e12, libghc-transformers-dev-0.5.6.2-08fea, libghc-unordered-containers-dev-0.2.10.0-31f27, libghc-uri-encode-dev-1.5.0.5-4ad70, libghc-zlib-dev-0.6.2-82ce3, libatomic1 (>= 4.8), libc6 (>= 2.29), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4) Suggests: libghc-agda-doc Filename: pool/universe/a/agda/libghc-agda-dev_2.6.0.1-1build4_amd64.deb Size: 19681864 MD5sum: 509fb60805bf83f6c7973d107d5ba482 SHA1: ce2d8e7a624b8c9aa09ad42ba605bf362ece4953 SHA256: 09540e5ec3109a3f9b6254400d59e88bc768de05e1317b9835d4159a7620a653 Homepage: http://wiki.portal.chalmers.se/agda/ Description: dependently typed functional programming language Ghc-Package: Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb Description-md5: 367dee38c949eb56c7f0325161eedb49