-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 2.1-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Iain Lane <laney@debian.org>, Ilias Tsitsimpis <iliastsi@debian.org>
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 (>= 9.6), agda-bin (>= 2.6.4.3), agda-bin (<< 2.6.4.4~), libghc-agda-dev (>= 2.6.4.3), libghc-agda-dev (<< 2.6.4.4~), libghc-filemanip-dev (>= 0.3.6.2), libghc-filemanip-dev (<< 0.4)
Package-List:
agda-stdlib deb libs optional arch=all
agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
743dac57b078790e08c298fa3b76be51c2f410ff 1211622 agda-stdlib_2.1.orig.tar.gz
9497f645b756d2611497a8f7801227da39a621ae 5900 agda-stdlib_2.1-1.debian.tar.xz
Checksums-Sha256:
72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz
1762170d3b8a70e4b2449ab89ecf21aab5ea3a6589caa6c89d21f3e9cfc7b1e1 5900 agda-stdlib_2.1-1.debian.tar.xz
Files:
3a0131664aa61929bc3fbb79ca68fa7b 1211622 agda-stdlib_2.1.orig.tar.gz
2cf6ff459360c3d9b35ad265204e0195 5900 agda-stdlib_2.1-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcS1EMUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwtPA/+Jl/+csay9n1z8heytwnm75Qbkt/z
V7XioobS6xP7O51hsV8PbT87/i0o10pEa66oVd9ycMSOjrgFNP1M/F6RudSp6f4j
aEP84Klsic+18O8Rh4iIxYEIqUSE8xtvNB89TGGKufZpMvXaS0vUigQcCzxxUjoq
Yy4cDLrDiKbcBj7m5+pMXHT55+B37Ie1k1YH6gQxtNg/3RFIb8fRTFIuij2YanL+
QmR7apQG4uSozKQBo+JaRstS+v20vDUYsHvKpxRF50sLCdNovM4VYONG8kPReXB3
CqqOgB6/HsjW9vLt2MRoj/eDJNNGFcbohNEreP9IZzqy2Dh/+ZDhohRC85AwVPfb
wgVddR62txGV3jd9K7dY+B8bhoRmF/36Ntza7KCs9QuA+nkIQJzfUdI1U/9KaSIf
U0S37cqaS/j8IJi+fjY9GaUNunEh8RSzDWxUI542lF3/azoE21oqjiy2i2k2WnR1
FSmYsdYhxuP6O52/0mia8DEVwQde15w1kt0ZKXyMHzqzaO0los0h6c9YMDP6CgfK
QzS69ADtx5x9jweXFPEIKzhLUOVeTbjNcvG81JZ6Cvg36t6ZjYhY7CDV6f1UJE4N
A1CzlXoEdU8hStUKdQehAyZnRvO6rHQv+6tvSyJ3aRSgK7fTooMMzO8/MmMnHs+E
+/d29bPVhDQ3tsc=
=ZHXa
-----END PGP SIGNATURE-----