Package: libghc-agda-dev
Architecture: amd64
Version: 2.6.3-2
Priority: extra
Section: universe/haskell
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 222056
Provides: libghc-agda-dev-2.6.3-21fc6
Depends: libghc-aeson-dev-2.1.2.1-b87c3, libghc-array-dev-0.5.4.0-0952c, libghc-async-dev-2.2.4-2b734, libghc-base-dev-4.17.2.0-68dfe, libghc-binary-dev-0.8.9.1-6a9d2, libghc-blaze-html-dev-0.9.1.2-38c38, libghc-boxes-dev-0.1.5-c48de, libghc-bytestring-dev-0.11.5.2-6590e, libghc-case-insensitive-dev-1.2.1.0-d0ee4, libghc-containers-dev-0.6.7-a1650, libghc-data-hash-dev-0.2.0.1-27079, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-directory-dev-1.3.7.1-1009f, libghc-dlist-dev-1.0-afbc1, libghc-edit-distance-dev-0.2.2.1-56d08, libghc-equivalence-dev-0.4.1-d6c01, libghc-exceptions-dev-0.10.5-3dbf4, libghc-filepath-dev-1.4.2.2-290a6, libghc-ghc-compact-dev-0.1.0.0-d6f68, libghc-gitrev-dev-1.3.1-0e910, libghc-hashable-dev-1.4.3.0-e937e, libghc-haskeline-dev-0.8.2-390ba, libghc-monad-control-dev-1.0.3.1-d981c, libghc-mtl-dev-2.2.2-6f39a, libghc-murmur-hash-dev-0.1.0.10-db7ab, libghc-parallel-dev-3.2.2.0-afc9a, libghc-pretty-dev-1.1.3.6-1aa0a, libghc-process-dev-1.6.17.0-29e15, libghc-regex-tdfa-dev-1.3.2.2-4f08e, libghc-split-dev-0.2.3.5-0947f, libghc-stm-dev-2.5.1.0-c4a56, libghc-stmonadtrans-dev-0.4.7-29b5b, libghc-strict-dev-0.5-6de3b, libghc-text-dev-2.0.2-0847e, libghc-time-compat-dev-1.9.6.1-267b5, libghc-time-dev-1.12.2-5e302, libghc-transformers-dev-0.5.6.2-931c3, libghc-unordered-containers-dev-0.2.19.1-4f4d5, libghc-uri-encode-dev-1.5.0.7-a7d4e, libghc-vector-dev-0.13.1.0-1ffee, libghc-vector-hashtables-dev-0.1.1.3-36ab5, libghc-zlib-dev-0.6.3.0-b4315, libc6 (>= 2.29), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Filename: pool/universe/a/agda/libghc-agda-dev_2.6.3-2_amd64.deb
Size: 25196572
MD5sum: c0053ca1ed8d21b285827562ea4ac80c
SHA1: b84af2a0ea287245f2bf402b2b631f155d2e8d08
SHA256: 5ab05eb20e95a048e877ed5156ddc817beb11ab3c684edc590a629b029c75949
SHA512: 40b845c54bdb4f9e2ca5de58c674d6410ac96717275799b87823394e47082b348182c7abb6b27a06fde6ae03483a029396b29577fb247d0ae7a8853a3c7b4b3a
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Ghc-Package: Agda-2.6.3-F91ij4KwIR0JAPMMfugHqV
Description-md5: 367dee38c949eb56c7f0325161eedb49