-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 2.1-4build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  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
 c0aaf9cccebfa09c19d3fe7bbca35dec517e0445 6100 agda-stdlib_2.1-4build1.debian.tar.xz
Checksums-Sha256:
 72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz
 dc2872e7197726d7edb1fb93903361ccc73e7f4cda90ac6743a197817e8ee286 6100 agda-stdlib_2.1-4build1.debian.tar.xz
Files:
 3a0131664aa61929bc3fbb79ca68fa7b 1211622 agda-stdlib_2.1.orig.tar.gz
 6a2046de6990d477a118acdab375b82c 6100 agda-stdlib_2.1-4build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkFvJgACgkQ808JdE6f
XdlM+g//TYvzZ9fW97PZHocKs/u/9bKyAGHwDSpLARu8bMSiUr4p3m5YZvj7sDco
CdL1Mv3tLeNh4sXO+jucqqAmHZaOXkqOhn4BCTFvQCirfrJ/FynfZq7ygxi+5Mif
qzurjh7DUdWFmMVzOJ0CQ0r1+GIb5wUY0wKnjnR/bDUSZUvXmTWVacsBjoQeCg7a
ogoL2hLOVXjkFhE7tW76X92P7Yi30PduXMkNdqS6WZf7a87NoIK7W+Dx6DVaE6zY
Y8bLZCfqMGOEb4hK9skmS1BMn59QXQ2uZYK1HV6ZXzZd1LyWT2T/z4rHHOv6QNVT
mnX0A649R95yWkyJtSehZnCqbVA8V+zqI676UEQto50sVyJHyJMgNmB/8rVCfWqr
VGwccvXllPHy8vIjWUdfahFVkf68hUE+VteJmgu3rhO9JS0yDAVdrGrmSStVtf3X
cyXPr3SZCNeks8rIb6tATVk/cbcOB0Y/iMzDAMRutGKX66j6cb8vCm9+08zvFKrz
d+lU970Law/zP/wuXRv/kjOumL7q5ZqcKj1GWkK/Dgrw1C0f+hZ6n5VL245biTJd
Nvb5Ijody3Fg/R7EKhTE7DPnWQZC9+OTRP1/aZVoiHe1BUm0DvFCwZW18TDC/qMK
NxF45gVaztr2fLhJzqOQc4PK/WhBfe/GL3YkokLf/nOFgqJuJI4=
=QxLo
-----END PGP SIGNATURE-----