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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 1.7.3-1
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Homepage: https://wiki.portal.chalmers.se/agda/
Standards-Version: 4.6.2
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), agda-bin (>= 2.6.3), agda-bin (<< 2.6.5~), libghc-agda-dev (>= 2.6.3), libghc-agda-dev (<< 2.6.5~), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs optional arch=all
 agda-stdlib-doc deb doc optional arch=all
Checksums-Sha1:
 553cfbfe41042527f03febc14b43631253c2623a 942086 agda-stdlib_1.7.3.orig.tar.gz
 cf5b5c4a5f6311e21043371ac4e17d4db5def78b 5732 agda-stdlib_1.7.3-1.debian.tar.xz
Checksums-Sha256:
 91c42323fdc94d032a8c98ea9249d9d77e7ba3b51749fe85f18536dbbe603437 942086 agda-stdlib_1.7.3.orig.tar.gz
 308208d0d6be3acce2860351bf71592b4c3d7f3485f0c58d39e48003dbd8c93c 5732 agda-stdlib_1.7.3-1.debian.tar.xz
Files:
 c43ed820648c482f48706bd0503c6024 942086 agda-stdlib_1.7.3.orig.tar.gz
 c6fdd2b353661c40598bb2e7a1ce44ef 5732 agda-stdlib_1.7.3-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmVGOSwUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzCbRAAyzlSMjlfLYAqtw63GHkh4ks3tXbh
VXoxlbOLI4EjxSGm83tUtI7wfLZEhJU8dD7Z6atF0wTxDZVXwlPNJ+j0mQEMNRil
UUtIFnz1DoTIGcJM9Pj2z6hwIR5p+oAYhOg6fEd9Xk8j14t/TiISO9m4jCUZmU7g
smBM8lAZz6iMUABKZl9BjN6oB1YT3OW1JKm5AFljS0bcUYbUZSqId4oVdlGB9PFo
yWWxNtzYLtxuxuN2myWhsGxr6NlV7EKk144CEhYhzulVHFGApzs/tdaNV/v7PPYP
2Xz6MLMPlRZGjF3Dua28E4NAP9VrHpjlDEc/EPajVqME0iXlazklDtgCgzzTZ8iC
2uNWqs1OUryzrJJNrfKLB01O/EUH64xYDSoAvZRMAFaATCr5BIhrWLh1af3I3NnT
LK25ENG/MMj4ZqLH2nCyJR1VmJuls+bBjr4QnZ3V9YKm5A4fpPCQWy5/hgQ9i72N
bV+MjXdvNvYUk/ASljLXEA3f/jR+lN/5rINQQFMQjq35iGhXsF4cNco2UEq0zE3W
7zjIF4v4gwkKG+06d/dBNc8P3gZ4pEyFt2ThjSOPpi2vlb+WCKgezIQFiJ7l0em7
zBkCHlEtc+U41ake8SoSt7D716XDMQHdvHjSZ4sxUS7zx/W3l/24nf2RhjtdUp1w
NI4jdB8q8AvSpuM=
=f5eT
-----END PGP SIGNATURE-----