-----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 <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
 d8329a7ff1ceb826c65b8d4f620b7288cb9e6165 6020 agda-stdlib_2.1-3.debian.tar.xz
Checksums-Sha256:
 72ca3ea25094efa0439e106f0d949330414232ec4cc5c3c3316e7e70dd06d431 1211622 agda-stdlib_2.1.orig.tar.gz
 8dfb0383c3cf6ee06b659d62433020730272ac960c01ef4388b7beedb01eaf88 6020 agda-stdlib_2.1-3.debian.tar.xz
Files:
 3a0131664aa61929bc3fbb79ca68fa7b 1211622 agda-stdlib_2.1.orig.tar.gz
 cf41efe03450433e0b7e04542a160587 6020 agda-stdlib_2.1-3.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcaJzYUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzeXw//QzGk7TRVP5A/T9+6tZkgtWLMI8Uq
6kNo3KHaqYH5lmH9SO75Ad4fqRWGW2s3wnXpVIFRV0mKNvgt7VBlFvxuFVAAcHRR
mhEHAZJCJX4neUvY+k+wmb/d6fcmcVUVwW2iktkWyO3NXgucbzPXLjLtGCkqkrk+
Pv40KC7Gc0eCQs8/kcaLO27ODOHSeeFDZI4AnDbf1FdmsME51pkrqddMzWQZFdIX
9IxHnLvqiEea7XSVKWfYTmYT+c5W0kMUIEFqWxtcBkZRbiU+GvUWXSqzIROAc++9
1lprnfVmPvEVO7FYXSbIZix1laTd3QBKeDUg2nnTbGF+NXq5op4dhBIE5Xy4XYPG
bnessR4gtQmA3vAJhkmjBzpt63AoEUPfx7EypsH2mg2RymjlSQz3a8JGh7mV9kNV
r/UyQvPj0LIbhBHOJ/SbRp2DuiPxM0x6/P82dOmfnTOWlVj2Y0iqrSL3QK13O4+U
VaEuU4EV4vvyLLO/detCGaIQG8vL3Qq1277Fo+FIJEebf7U/FbCUrEq3irLQCz/l
DPRqoOElb9By7RlIR4E+zgwsflW33xHVFcojMQaQz9bRBw2VVZoLWvWS+BSE2HCr
1wh/m6jH1aJhTI84gG2EPJp1YbA+KI8m742kKaKqZ4QIznMIjVQ0maDSez5uh0rR
HvnMvxdC+y41Irc=
=UpSY
-----END PGP SIGNATURE-----