Accepted agda 2.6.3-1 (source) into unstable

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

Format: 1.8
Date: Fri, 13 Oct 2023 17:57:46 +0300
Source: agda
Architecture: source
Version: 2.6.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.3-1) unstable; urgency=medium
 .
   * Declare compliance with Debian policy 4.6.2
   * New upstream release
Checksums-Sha1:
 e3832330ae45349522db17a0fce96ca5b98a189a 4944 agda_2.6.3-1.dsc
 aa785cb9c9d7a362d16bb879b451995c6452cb50 1794269 agda_2.6.3.orig.tar.gz
 d3df5018412b4926c371e6f6fbc2d2f0a1b2a08c 11604 agda_2.6.3-1.debian.tar.xz
 684944eaedbed9c69b6eb60c0a2770e9560a6046 6089 agda_2.6.3-1_source.buildinfo
Checksums-Sha256:
 37b477db081fcebf1080901703f2cf2d38dcbfe23986808bff1589f915477ec6 4944 agda_2.6.3-1.dsc
 beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016 1794269 agda_2.6.3.orig.tar.gz
 a295ed8cded8ced795c0c71abd7abc78446d94faca9c61177a00daa4ad1ed631 11604 agda_2.6.3-1.debian.tar.xz
 53e575890ffc42fb92f4ec1eb8020f50e9783ae3869bcfde2b4b936a6f2d394b 6089 agda_2.6.3-1_source.buildinfo
Files:
 876dcd32b33b4dccfacdcaf6f218f0c0 4944 haskell optional agda_2.6.3-1.dsc
 85b3f748b307b49e5f6be638486acbeb 1794269 haskell optional agda_2.6.3.orig.tar.gz
 39b9f5190d9865977d403317f2638002 11604 haskell optional agda_2.6.3-1.debian.tar.xz
 25fefda3bc15de2c61af56a60e2705a5 6089 haskell optional agda_2.6.3-1_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmUpYtAUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwnyA//diQ/yKGdFyAQKpZnf/ABGmoolQqg
aldfifxWk6hwMcOvojuvs9yhX9Qkqpn5n/ny/xgy5iucdp4kF4Q2O0kJzeEdcP0V
GIiH1UCG7dV1kgZQHgoBtPVtIpZblpsznH8nD18ZXNbUU3VJKQD3gVNt1x7Eqt7f
whVs23tUYwyovHOmHF2NlNswSXQQNuvDafPuc72WtkIzNzzQeo1rH7invQr+PY7C
d9BdCtHkKBg4Gwx/rx/Y7Z1pc+7BS/YHWJgFWqYDSZti3Q7O+2sIaXMfj53hHHep
XqpKsyOjoQIn2byTkK/45eqMs8uNujRHqrSM92b4XRT/W/2tR5sL0V3x1XFegdfZ
glOjXuCYA0NtqeCcylHAvr3g+utBHczKpnNzpmzp3DFQXsdFBTVvzItP8GerAPnl
mbNQYE/hrK5ZpxRjQ8BDdMFi7pKERXhVPJI8nbT2zC6nNCedCZ1E0wd8cugEy3hN
9wESPilyI6eVafVt7B3ywOp3OXX0U6yv6xUlf4wsyFwN049bxybi8WELVG3BG18X
V0Z9ddjbXs9inUWST7gZNGmrHmQcfeerU3AlQQAe7zJ0pxBzCzNofpE+T9IKVIXl
vvekHKhSh6RLVMalKOVhgO8RBM5tEzDBRECcib8gz7WeolKA6jRygqRcdtmWS4kY
qW5JFxzDcegl790=
=YVMA
-----END PGP SIGNATURE-----