<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: SHA512

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 2.1-3
Maintainer: Debian Haskell Group &lt;pkg-haskell-maintainers@lists.alioth.debian.org&gt;
Uploaders:  Ilias Tsitsimpis &lt;iliastsi@debian.org&gt;,
Homepage: https://wiki.portal.chalmers.se/agda/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Build-Depends: debhelper-compat (= 12), ghc (&gt;= 9.6), agda-bin (&gt;= 2.6.4.3), agda-bin (&lt;&lt; 2.6.4.4~), libghc-agda-dev (&gt;= 2.6.4.3), libghc-agda-dev (&lt;&lt; 2.6.4.4~), libghc-filemanip-dev (&gt;= 0.3.6.2), libghc-filemanip-dev (&lt;&lt; 0.4)
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all

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