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

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

Format: 1.8
Date: Sat, 04 Nov 2023 13:55:07 +0200
Source: agda-stdlib
Architecture: source
Version: 1.7.3-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Closes: 1054936
Changes:
 agda-stdlib (1.7.3-1) unstable; urgency=low
 .
   * New upstream release (Closes: #1054936)
   * Apply multi-arch hints. + agda-stdlib-doc: Add Multi-Arch: foreign.
Checksums-Sha1:
 9205cb0133bc6d8e2197e88355aa2db13324a9fe 2157 agda-stdlib_1.7.3-1.dsc
 553cfbfe41042527f03febc14b43631253c2623a 942086 agda-stdlib_1.7.3.orig.tar.gz
 cf5b5c4a5f6311e21043371ac4e17d4db5def78b 5732 agda-stdlib_1.7.3-1.debian.tar.xz
 b5a25377ea728fce09e741109dffcaa640509fe9 9396 agda-stdlib_1.7.3-1_amd64.buildinfo
Checksums-Sha256:
 af6fa95a71e7e33b3039c83bb65bb8b410dc8558b5ea7c2929a121953537c9ae 2157 agda-stdlib_1.7.3-1.dsc
 91c42323fdc94d032a8c98ea9249d9d77e7ba3b51749fe85f18536dbbe603437 942086 agda-stdlib_1.7.3.orig.tar.gz
 308208d0d6be3acce2860351bf71592b4c3d7f3485f0c58d39e48003dbd8c93c 5732 agda-stdlib_1.7.3-1.debian.tar.xz
 808fd8060ca2c1173a9a8b4f07798b93c6e6cb7d231948b4b05d1691f608cabc 9396 agda-stdlib_1.7.3-1_amd64.buildinfo
Files:
 191eba6ce103e2e870bdaa152ca92609 2157 libs optional agda-stdlib_1.7.3-1.dsc
 c43ed820648c482f48706bd0503c6024 942086 libs optional agda-stdlib_1.7.3.orig.tar.gz
 c6fdd2b353661c40598bb2e7a1ce44ef 5732 libs optional agda-stdlib_1.7.3-1.debian.tar.xz
 cefb6c7ce307de7bb08361a41d540ae2 9396 libs optional agda-stdlib_1.7.3-1_amd64.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmVGOS4UHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyi6A//WyMnlAfweezB0bLE+kdynEGTW7oy
6Zg3qnZ7QOXra58b9jfDWk/FvnYjVhHIpctbiXEEFhlBtzuITtpVGa8UdUq0neRE
heE1LwBDO736c0iMnOQRrOnQqRumqjrWCAid8F2fYsMZt6u5tuXSFAg/gzrZqvPM
1U2CiqvF2jQxw/wLHko/bgKtk68f62yjw1G+lLxaAGEtMgz15jKTxXrq/JcuHz11
zBKiYo7clm+BJlZ9RbVTC5FnnBBLQLhBRvgOo7JOf99mdX5ioBpoQmlyz5lKLfLj
BIytCUVQeEtenXCQ7onJwyi9Co4ji6A/FJWO773JyKoWj51NPuow8kuv3nYwgKGa
HwoAkMo6WVZGaW1n/YUoOXmFLEmM1Fs2F5fhT2Zqhq/WxcoyyxdmtmYI8UrcvTBF
pJAd3xLrJHGWK75OGf+9SlsmmIjKe4s+Epd6oT86P9M9KnRfIcJU+3Sx4TJUIcIN
QmOq/N/oR5YzlZcCYuKrr5Qd8ivBCWFvZ8IbIw0ghiWrnsOr5MIDv1hfkpE9Lp/x
9iPiUCB47iNCKDVaO5XmCrBjMbYSqG5YjcQpQ42NFkZlROR0bGw2shE7G6zacqGl
DQJvaZvw8BDAB/sr58xjOtQplncZlPs077SKVa9DxsWeEr0K6VVuzNdRes9gEVYO
4kpag4vwWdHQM/A=
=chc2
-----END PGP SIGNATURE-----