Accepted coq 8.20.1+dfsg-1 (source) into unstable

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

Format: 1.8
Date: Sat, 15 Feb 2025 15:19:14 +0100
Source: coq
Architecture: source
Version: 8.20.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq (8.20.1+dfsg-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 00fed56950a7970f2f77bcb8202a13c4eaab9254 2582 coq_8.20.1+dfsg-1.dsc
 a95cfc700019159da05ba7bb6e3afc4e6fdc78a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 8e1d2a2623e95e5a49f535bd586cbfec542946d6 30208 coq_8.20.1+dfsg-1.debian.tar.xz
 6ec0a2c088f894cdc4cdf48eea9a0f8c1b0b2221 18049 coq_8.20.1+dfsg-1_amd64.buildinfo
Checksums-Sha256:
 23e3c9cd7c3d378802d33189e7dad2c10ce0b139d11810ea7c64a69de2e7162f 2582 coq_8.20.1+dfsg-1.dsc
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 76492553809925964587b94a2075cb576d1f40533eca246ff822d9be1ec582be 30208 coq_8.20.1+dfsg-1.debian.tar.xz
 0c42296134868e139b50d59b8a2c6c4ec9716d56a1dad273a687e77a391a2bf7 18049 coq_8.20.1+dfsg-1_amd64.buildinfo
Files:
 e6cdcb9509074e5e1e06f01806a61697 2582 math optional coq_8.20.1+dfsg-1.dsc
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 math optional coq_8.20.1+dfsg.orig.tar.xz
 4d9e5bc4b8a84f68ed882b8be0d4449f 30208 math optional coq_8.20.1+dfsg-1.debian.tar.xz
 a38938c7ca701732ed0c80c5d5cf8550 18049 math optional coq_8.20.1+dfsg-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewqdcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbpfD/9/fNstp0Sm5EO8Se2y2H77
umQB/rx5ooN0tQX8/OiTmwuXpTDSULrvPih6qdB9q/WBu+o8Fao3wNMfnNHDvvIT
t31PRHIYPR7Bx1xa0uldrw630vPx9/p38XmXlDnusYqFegCAQOLmVwx9hYaUDQMn
eQgq7x7JVunD77beFELHNpciWcIwCdGE7cMMDrWLNJGxGtOYvLp6JM1NYEIfdzow
wWUFWIJb6855wEY/Zf1OSYXO1iGNBGNqhczgkJnC4qDNtCKsis5yX6O5/jikF4W6
s+E8O2df0V7vKc0SiAknii+9EmHHFyfzKZwpDdE/w7TMMnNLg96e1JLvt9etgo5I
NlZvtW5gSh6RCVxd0/wLjS/Yw53P15JOK3s3BD1xflNQTsPRaspbEAgCp2feVZGU
RXeQ/lXniKhWIeQM7Ql6vtyuRxpziQ1fYXwT8BGmTDxWVW5n8kVmhtSjGezVMYNt
9++RzVpYfsJtWec+SPve6Hv0jjOaes4ic/bFXl0Kx116vbuClZ3oEuNaopigMrI1
6ERjZyX4ndU0gMmUSBGGZX8qI16+yw2pQWn2lvYOrzLxDIsaH7P+Zjov1iBpthv+
BktKcSEdHP1OVlLIeEAnpHzfNw79wbO4bm9YJLVes+dOu4oAYSUL7AGKmjjojHEz
aXU4B1Ei1K44hlVZbxYcYA==
=SVWb
-----END PGP SIGNATURE-----