Accepted agda-stdlib 1.7.1-1 (source) into unstable

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

Format: 1.8
Date: Sat, 06 Aug 2022 19:38:00 +0300
Source: agda-stdlib
Architecture: source
Version: 1.7.1-1
Distribution: unstable
Urgency: medium
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
 agda-stdlib (1.7.1-1) unstable; urgency=medium
 .
   * New upstream release
   * Bump agda dependency bounds
   * Bump std-version to 4.6.1
Checksums-Sha1:
 d2c8e3606fb29b9f92ff3b776e2b8ca0c4832412 2157 agda-stdlib_1.7.1-1.dsc
 5383fe9fa174b1d7579f43ac1e804063cc858d61 940131 agda-stdlib_1.7.1.orig.tar.gz
 4e915e0bbd69935cd7ec0d565e75077faefac583 5664 agda-stdlib_1.7.1-1.debian.tar.xz
 b5e2494250ba44bfa3cec3a31189f92464031628 9189 agda-stdlib_1.7.1-1_amd64.buildinfo
Checksums-Sha256:
 3ad8887b836612fd2f1eef7c59d5445a1533ea4551ee1091daf1c4d8d8a53232 2157 agda-stdlib_1.7.1-1.dsc
 6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df 940131 agda-stdlib_1.7.1.orig.tar.gz
 29b6d1c6b118eb6c064d07415ed293160c4a365557297467103bf39a856fe6b2 5664 agda-stdlib_1.7.1-1.debian.tar.xz
 7166c6eeb49cb8da811b27b40da3488133b98683d3a15f2260030e129a75ec02 9189 agda-stdlib_1.7.1-1_amd64.buildinfo
Files:
 7d0e7d5d78ac86499cf869a5948d441a 2157 libs optional agda-stdlib_1.7.1-1.dsc
 19d18d2ca466cbfae1945c379b8c4bea 940131 libs optional agda-stdlib_1.7.1.orig.tar.gz
 ac9d51dd51d058248e6c09a9d163d6e4 5664 libs optional agda-stdlib_1.7.1-1.debian.tar.xz
 b132323c16400aed844f1aba29219c93 9189 libs optional agda-stdlib_1.7.1-1_amd64.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLun4YUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDykUBAAphSexgelPQIkwZ+Z/VWl529TiWGs
VC0GifPM3HpCJGUPoTiK0NtNRDTlqQXqeCfMITYRbRV+nTvHntAAbT2fu5Dpd4lI
m5SyPHR6TAyG30rIX7jBvq8gVwBE2ItiLQfuuHCUqnwBDugGHQC8KBUf3JawkJ1U
csd6mdTb42hJL6V+C5OCql8UK/r/SOYc8tQvurLHngiuf+4+YdD1eU6fwMAgIMCh
zQhkJuMrjASBq/lPGYYMHRQjr9xGhYQ70YALSC8E1xZ4LAfFINMDv5L/2Od/xmGy
s6Dhzeh9bxPplaAAwFuGI4B6vMpoKV/I9aRS4gBvl2ugjQhM0vKBVmCEM4d7AtS7
77ZHaL4v36zxecmcNZgGydYnJA+Iyhqic5DfUnIIA3Zh0+WYeI4YSqVmM5+AbAa0
sCuVueaTPpM5F4AiN+jc12SmJ4Jlvp5ZqHdmyuUExGxgfeEkVfii+YSltohKKAWs
Z1wARQ4P3PWDraKVbf8ps4dFvQUjrv5nbl4ts7XzNmIwz1ZBDEUvcwdi6dtM4Dqm
7niTnmo6bPOhoGae9eoPBJCLztlrtlkS1BghPnt1ROV9vl1F79PFHVKeYRlgWCWh
SZFGb2f+6T/ngsb5/f1zXY3EnIBtM7jZ8B8QtOOgC7TCub+TNq+reKrENSna9p6Q
9nbGvQiaRo12UG0=
=ZP3d
-----END PGP SIGNATURE-----