Accepted agda 2.6.4.3-1 (source) into unstable

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

Format: 1.8
Date: Tue, 08 Oct 2024 12:14:54 +0300
Source: agda
Architecture: source
Version: 2.6.4.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
 agda (2.6.4.3-1) unstable; urgency=medium
 .
   * Declare compliance with Debian policy 4.7.0
   * New upstream release
Checksums-Sha1:
 2ecc0e23aa55657d79047d059a12f6bb2a86fe70 5197 agda_2.6.4.3-1.dsc
 9fc93f4a15f1e833d2075b4786b8898d9fba55f1 1869461 agda_2.6.4.3.orig.tar.gz
 b92a9b1e71732c4937fc3ba400bd6bcb3b83396d 10460 agda_2.6.4.3-1.debian.tar.xz
 ba20e7cc80def9a6b0903668625d99f081c15ecc 6219 agda_2.6.4.3-1_source.buildinfo
Checksums-Sha256:
 2411cfccbb39ae0340e744dddb764f483a0176e1bfb8bff1eebbdfd619496437 5197 agda_2.6.4.3-1.dsc
 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2 1869461 agda_2.6.4.3.orig.tar.gz
 634a7a27365d476ca2d9e4cf2254e76bf920dcee688b653eeb956cfdf3525ecd 10460 agda_2.6.4.3-1.debian.tar.xz
 06a5c9e9956c400dac4c44502258d5052461689ce69b57d45c17f085b3669ff6 6219 agda_2.6.4.3-1_source.buildinfo
Files:
 25a199441916fcbee1b0b2532216fb79 5197 haskell optional agda_2.6.4.3-1.dsc
 8a27f437e1c7a822c1e191c802de5d35 1869461 haskell optional agda_2.6.4.3.orig.tar.gz
 d39bca04b6137deb3462b25204c8a4ec 10460 haskell optional agda_2.6.4.3-1.debian.tar.xz
 1ac79ed6ca3a60b115da81a33602863f 6219 haskell optional agda_2.6.4.3-1_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcFDCUUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwZcw//RdOQ8Ed+P9kNU4M0sRQJ9frK1QbE
h6gWgKxvTB6NaEszbzFi4EfxlflyU3yAwE3LgS/4BsCxuvTnlVmmO7C4F6V/DVP+
3wAkhadtzlPlVFvoG/9M/u1/DJvHifD3kdhv0lnF7+F4+4WWQ4enhTOJMKL1b5Fn
+g3hRRLLFWshD062E5ocKyBFVbRiBAxuUipHp9IdY131GTuXkGyjgT5RG3W5yh9o
pz2zZ+nUaJS91bBDoP24ANHPJFKCUMJn7xCXcN+g+Vi1unWC/WhUkppddVS8VUq2
i0+be9kWdKOM8a4edl5Pnxo+5wqRNMCxHA6BXFDMfFHyZbDuhp7RFnCaUi/5rjWQ
aW7i6Uz1L55WVH69s97QmTm4RS6SJq14YQ9Uz0q1HX+OchglFkAEpwCMjfdUq0+Y
ouhoA4A/ulljD2s4yzxi2051m7Hxz47K+jxv7PDecPEWVuK/bMYvovaHZXF2RSJr
m9Z3DZHV8YeAkjix2vMSfkT8/jFFagVPPFIPv4LXvEXo5hofnvTYMKeV9Qa4yd3T
hmF6ypP8GcApf5XoEzx4iF4swIvqb/G42yivBTMlrDS9Ie8a72oU0rwgWLWnmZIz
qoYT61RZnzZ3O8lEW7dxzO0l4UA2LHFU7p/TOLRl+VFGmnbRF+o+0uabjwpcA6/j
PSwGf0o5pwEF8a0=
=CqPE
-----END PGP SIGNATURE-----