Package: agda Binary: agda, agda-bin, elpa-agda2-mode, libghc-agda-dev, libghc-agda-doc Version: 2.6.3-1 Maintainer: Debian Haskell Group Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa (>= 1.16), ghc (>= 9.4), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-stmonadtrans-dev (>= 0.4.3), libghc-stmonadtrans-dev (<< 0.5), libghc-stmonadtrans-prof, libghc-aeson-dev (>= 1.1.2.0), libghc-aeson-dev (<< 2.3), libghc-aeson-prof, libghc-async-dev (>= 2.2), libghc-async-dev (<< 2.3), libghc-blaze-html-dev (>= 0.8), libghc-blaze-html-dev (<< 0.10), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-boxes-prof, libghc-case-insensitive-dev (>= 1.2.0.4), libghc-case-insensitive-dev (<< 1.3), libghc-case-insensitive-prof, libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3), libghc-data-hash-prof, libghc-dlist-dev (>= 0.8), libghc-dlist-dev (<< 1.1), libghc-dlist-prof, libghc-edit-distance-dev (>= 0.2.1.2), libghc-edit-distance-dev (<< 0.3), libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.5), libghc-equivalence-prof, libghc-exceptions-dev (>= 0.8), libghc-exceptions-dev (<< 0.11), libghc-exceptions-prof, libghc-gitrev-dev (>= 1.3.1), libghc-gitrev-dev (<< 2.0), libghc-gitrev-prof, libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.5), libghc-hashable-prof, libghc-monad-control-dev (>= 1.0.1.0), libghc-monad-control-dev (<< 1.1), libghc-monad-control-prof, libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-prof, libghc-parallel-dev (>= 3.2.2.0), libghc-parallel-dev (<< 3.3), libghc-parallel-prof, libghc-regex-tdfa-dev (>= 1.3.1.0), libghc-regex-tdfa-dev (<< 1.4), libghc-regex-tdfa-prof, libghc-split-dev (>= 0.2.0.0), libghc-split-dev (<< 0.3), libghc-split-prof, libghc-strict-dev (>= 0.4.0.1), libghc-strict-dev (<< 0.6), libghc-strict-prof, libghc-time-compat-dev (>= 1.9.2), libghc-time-compat-dev (<< 1.10), libghc-time-compat-prof, libghc-unordered-containers-dev (>= 0.2.5.0), libghc-unordered-containers-dev (<< 0.3), libghc-uri-encode-dev (>= 1.5.0.4), libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-vector-dev (>= 0.12), libghc-vector-dev (<< 0.14), libghc-vector-prof, libghc-vector-hashtables-dev (>= 0.1), libghc-vector-hashtables-dev (<< 0.2), libghc-vector-hashtables-prof, libghc-zlib-dev (>= 0.6), libghc-zlib-dev (<< 0.7) Build-Depends-Indep: ghc-doc, libghc-stmonadtrans-doc, libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc, libghc-data-hash-doc, libghc-dlist-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-strict-doc, libghc-time-compat-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-vector-doc, libghc-vector-hashtables-doc, libghc-zlib-doc Architecture: any all Standards-Version: 4.6.2 Format: 3.0 (quilt) Files: 876dcd32b33b4dccfacdcaf6f218f0c0 4944 agda_2.6.3-1.dsc 85b3f748b307b49e5f6be638486acbeb 1794269 agda_2.6.3.orig.tar.gz 39b9f5190d9865977d403317f2638002 11604 agda_2.6.3-1.debian.tar.xz Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda] Checksums-Sha256: 37b477db081fcebf1080901703f2cf2d38dcbfe23986808bff1589f915477ec6 4944 agda_2.6.3-1.dsc beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016 1794269 agda_2.6.3.orig.tar.gz a295ed8cded8ced795c0c71abd7abc78446d94faca9c61177a00daa4ad1ed631 11604 agda_2.6.3-1.debian.tar.xz Homepage: https://wiki.portal.chalmers.se/agda/ Package-List: agda deb misc optional arch=all agda-bin deb haskell optional arch=any elpa-agda2-mode deb editors optional arch=all libghc-agda-dev deb haskell optional arch=any libghc-agda-doc deb doc optional arch=all Directory: pool/main/a/agda Priority: source Section: haskell Package: agda Version: 2.6.3-1 Installed-Size: 28 Maintainer: Debian Haskell Group Architecture: all Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev Description: dependently typed functional programming language Homepage: https://wiki.portal.chalmers.se/agda/ Description-md5: 65333dc4f3e4d00a90419d96d9785d24 Tag: role::metapackage Section: misc Priority: optional Filename: pool/main/a/agda/agda_2.6.3-1_all.deb Size: 20128 MD5sum: 6ddd5d37dc3c7909c7fc82c7d0d96742 SHA256: 2a3be4edd9c159de8961879c2ea6d98d514d444dabe162224f9e8d6c834e1c38