<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: agda
Binary: agda, agda-bin, elpa-agda2-mode, agda-mode, libghc-agda-dev, libghc-agda-doc
Architecture: any all
Version: 2.5.3-3
Maintainer: Debian Haskell Group &lt;pkg-haskell-maintainers@lists.alioth.debian.org&gt;
Uploaders:  Iain Lane &lt;laney@debian.org&gt;, Kiwamu Okabe &lt;kiwamu@debian.or.jp&gt;
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 4.0.0
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: alex, cdbs, cpphs (&gt;= 1.20.2), debhelper (&gt;= 10), dh-elpa, ghc (&gt;= 8), happy, haskell-devscripts (&gt;= 0.13), ghc-prof, libghc-edison-core-dev (&gt;= 1.3.1.1), libghc-edison-core-dev (&lt;&lt; 1.3.2), libghc-edison-core-prof, libghc-async-dev (&gt;= 2.0.2), libghc-async-dev (&lt;&lt; 2.2), libghc-async-prof, libghc-blaze-html-dev (&gt;= 0.8), libghc-blaze-html-dev (&lt;&lt; 0.10), libghc-blaze-html-prof, libghc-boxes-dev (&gt;= 0.1.3), libghc-boxes-dev (&lt;&lt; 0.2), libghc-data-hash-dev (&lt;&lt; 0.3), libghc-data-hash-dev (&gt;= 0.2.0.0), libghc-edit-distance-dev (&lt;&lt; 0.3), libghc-edit-distance-prof, libghc-equivalence-dev (&gt;= 0.3.2), libghc-equivalence-dev (&lt;&lt; 0.4), libghc-filemanip-dev (&lt;&lt; 0.4), libghc-filemanip-dev (&gt;= 0.3.6.3), libghc-geniplate-mirror-dev (&lt;&lt; 0.8), libghc-geniplate-mirror-dev (&gt;= 0.6.0.6), libghc-gitrev-dev (&lt;&lt; 2.0), libghc-gitrev-dev (&gt;= 1.2), libghc-hashable-dev (&lt;&lt; 1.3), libghc-hashable-dev (&gt;= 1.2.1.0), libghc-hashtables-dev, libghc-ieee754-dev (&lt;&lt; 0.9), libghc-ieee754-dev (&gt;= 0.7.8), libghc-ieee754-prof, libghc-monadplus-dev (&gt;= 1.4), libghc-monadplus-dev (&lt;&lt; 1.5), libghc-monadplus-prof, libghc-mtl-dev (&gt;= 2.2.1), libghc-mtl-dev (&lt;&lt; 2.3), libghc-mtl-prof, libghc-murmur-hash-dev (&gt;= 0.1), libghc-murmur-hash-dev (&lt;&lt; 0.2), libghc-parallel-dev (&lt;&lt; 3.3), libghc-parallel-dev (&gt;= 3.2.0.4), libghc-regex-tdfa-dev (&lt;&lt; 1.3), libghc-regex-tdfa-prof, libghc-stm-dev (&gt;= 2.4.4), libghc-stm-dev (&lt;&lt; 2.5), libghc-stm-prof, libghc-strict-dev (&gt;= 0.3.2), libghc-strict-dev (&lt;&lt; 0.4), libghc-strict-prof, libghc-text-dev (&gt;= 0.11.3.1), libghc-text-dev (&lt;&lt; 1.3), libghc-text-prof, libghc-unordered-containers-dev (&gt;= 0.2.5.0), libghc-unordered-containers-dev (&lt;&lt; 0.3), libghc-unordered-containers-prof, libghc-uri-encode-dev (&gt;= 1.5.0.4), libghc-uri-encode-dev (&lt;&lt; 1.6), libghc-uri-encode-prof, libghc-zlib-dev (&gt;= 0.4.0.1), libghc-zlib-dev (&lt;&lt; 0.7), libghc-zlib-prof
Build-Depends-Indep: ghc-doc, libghc-edison-core-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-ieee754-doc, libghc-monadplus-doc, libghc-mtl-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-stm-doc, libghc-strict-doc, libghc-text-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-zlib-doc
Package-List:
 agda deb misc extra arch=all
 agda-bin deb haskell extra arch=any
 agda-mode deb oldlibs extra arch=all
 elpa-agda2-mode deb editors extra arch=all
 libghc-agda-dev deb haskell extra arch=any
 libghc-agda-doc deb doc extra arch=all

</pre></body></html>
