Accepted agda-stdlib 2.1-2 (source) into unstable

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

Format: 1.8
Date: Wed, 23 Oct 2024 18:28:19 +0300
Source: agda-stdlib
Architecture: source
Version: 2.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Closes: 1085873
Changes:
 agda-stdlib (2.1-2) unstable; urgency=medium
 .
   * Fix import path for elpa-agda2-mode.
     Thanks Kei Hibino for the patch (Closes: #1085873)
   * Install build artifacts under '/usr/share/agda-stdlib/_build/'
Checksums-Sha1:
 d400988f6fa9699e1b4ec3dec4c44f4c701f5718 2253 agda-stdlib_2.1-2.dsc
 c641a06c2e5f7568e2def6807fdccb9b77d0bec3 5980 agda-stdlib_2.1-2.debian.tar.xz
 8281529222cca493d0fbf6f61fb27f16b21a501f 9462 agda-stdlib_2.1-2_amd64.buildinfo
Checksums-Sha256:
 db6b47a61250c17bf9cf31a61d5471df629a479fb1d4ad7e2711f626c948fc89 2253 agda-stdlib_2.1-2.dsc
 365a9386810274e82cfd58795aa9fb87a41f718a11ed0ac5c189c804d574f2c3 5980 agda-stdlib_2.1-2.debian.tar.xz
 da37d19686f93341483732d6484d8732a26fc77153e112874ec6e4afbadfb26c 9462 agda-stdlib_2.1-2_amd64.buildinfo
Files:
 8b11b7211132b4b55c377ab84c45c4e7 2253 libs optional agda-stdlib_2.1-2.dsc
 57b8944edb6f95b37b6e3d3ed2078e63 5980 libs optional agda-stdlib_2.1-2.debian.tar.xz
 dd6835e6ff92a0001b97d469de3764e3 9462 libs optional agda-stdlib_2.1-2_amd64.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcZGvUUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDznTA/9FofNFfEVF0itww413gkqW3Fdt3Fy
VEFwKsYU8uNq2vkKPU3yBn1gZ98/Iu+vdj5dXy5BeiS9JejSczWpOGGPQR1Z9RKf
bxKwM69Gt/rtHy6j5qGiHesizILLK5rh5+cipde5yCC92OFT4gyDaEBz4ryV8hTX
yTrNwxMp+q+0yuZ08wBkBCeFVr4Q4s2DnZoQBpmZWr3Xyd16DA4ZBNrxVvrbHWNz
GlgxP681BVi2nY8QZ8jPGZzve7tgvkKwZ9+3w6sM7DyTHwVnO0O0wJDKBenEuH++
GW2HE8UTHJ2MBroPzNi/0EejGvb+IWCr5wiW7rjJg43bXWfSwdzuvR4r4YAJ5pBM
FbVB386EIitSp4EC2b62iCRJ4Z8gAMuBO+50/nHpUDvdW5oWjDFZfxp41naC/YCD
349hxe7are0CkCmwFbrj9guiu0gM7nu29ZfN2ZRsmiTiwzcbwXlSMoW+nikit3/p
kVopibzsdIVYB1OBrozR4SWUqNYQw80QXtMhauaEQ58jw2GGurYxTgLvMru+NfHz
FGor3eBuVpPcB09lrChhwjVD2hkqejgoE/GbHmto/ui3q6OeAgiYo3HL/FICVlnX
TyKxy5L16NlmzuHLRohJeSIw/IPrAiCLG+EtXXcZLoW1FsnMQ4OcParz1KvEFvBU
i9xv30A3rGczmdw=
=xSeX
-----END PGP SIGNATURE-----