-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 2.1-2
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
c641a06c2e5f7568e2def6807fdccb9b77d0bec3 5980 agda-stdlib_2.1-2.debian.tar.xz
Checksums-Sha256:
72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz
365a9386810274e82cfd58795aa9fb87a41f718a11ed0ac5c189c804d574f2c3 5980 agda-stdlib_2.1-2.debian.tar.xz
Files:
3a0131664aa61929bc3fbb79ca68fa7b 1211622 agda-stdlib_2.1.orig.tar.gz
57b8944edb6f95b37b6e3d3ed2078e63 5980 agda-stdlib_2.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcZGvEUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzthw//SUiYm46ryzUh12MZ4ulZjCt3ycwa
BIeAbrhLLOxGPthO7y+c/L6DcrkK8BqgT1vlwt9/tX9VL2eNOdVzB0z2SKJdcmPB
1sMAJAMchJP9RkUv9O6lqzLicZ4cEm1hKYKRF5MK3B1bIwbPM/CDFfe0t3kAcGCJ
ayJWhZkYUYytJDiFszl/Q7+ZgYFmTs89Jy06VlXby/eo8Eu4FDaPKtvz455OW6mk
6N3roV/5TbeeiS1XFUYETTdqm2eaCDMWMeFLqhJQHZAkeIoEz4OdqiqGC6D/xBpN
nGfg73adrtXJGpIxBcBbByLLYRnZss2G2s0loXTmNzqNviBpo6izFjUhl+ypQZxO
x/rmZTz2+aBm5fBUzeNVNuT131iZsW0/0m+FIL/BkWhzd3iIpKtWIRNHWezXGx8y
JbjsYEJieaLNzw0iFqtwpUULPF1vZS+NZA2a0dUkAqrb9/54DBExtoxIUq7jdTL6
uQSRT+xEBPoD03MbJGFpTNHNWLFkxR6aYHa6YOWGw/kKpMeJ6358aNUV9P+LUn68
26Hlp4XxdmUCTh9V8RgVhnaDPTrfa9/Tq+n50e5bxtkREaAWkhRg4ofoyiZAxde7
qLZ2Ho3p0ND471kO4upPZlnyHTO5OCHHTgJg16AVvJ7BcBaDoMRakhNDvJL+qQie
1arQXd0K7654UO4=
=UQqC
-----END PGP SIGNATURE-----