Accepted coq-mtac2 1.4+8.19-3 (source) into unstable

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:54:18 +0100
Source: coq-mtac2
Architecture: source
Version: 1.4+8.19-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-mtac2 (1.4+8.19-3) unstable; urgency=medium
 .
   * Add patch for Coq 8.20 support.
Checksums-Sha1:
 a659a80bedef47082af2dea0f25c56b4a5645e64 2100 coq-mtac2_1.4+8.19-3.dsc
 a41074df9e24633296b249f16f89c837e4f0cf0b 4916 coq-mtac2_1.4+8.19-3.debian.tar.xz
 d059d06c09c985051553b1b9ab3823b060e5267b 7167 coq-mtac2_1.4+8.19-3_source.buildinfo
Checksums-Sha256:
 ae989b5453232943511950f0e31dabe5f9093e6a399bee83dcd424aaa960be6a 2100 coq-mtac2_1.4+8.19-3.dsc
 a33fd785cf36945ad20773c8551700f9d424064f461878472065514a21776a2a 4916 coq-mtac2_1.4+8.19-3.debian.tar.xz
 99fb3af2e2cef45b946d414e622f48c61f69eca6ccbcf6d18034f5dbef32724d 7167 coq-mtac2_1.4+8.19-3_source.buildinfo
Files:
 e49e24360624057629b8f974f44176f0 2100 ocaml optional coq-mtac2_1.4+8.19-3.dsc
 53968b973262e05a79acf1807ae3bb21 4916 ocaml optional coq-mtac2_1.4+8.19-3.debian.tar.xz
 4f1a39948c0ad3d345a470c4f1e0d0af 7167 ocaml optional coq-mtac2_1.4+8.19-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sekSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIOcP/RNnl4gnRM5hQsc+kZw+7HFTxHR094ya
qs4gqnPvIoEIcfJkRzRhNPvpra3uDDs/Km/FYp8z4Tvd1HrbQjD/b7EVxEvElztX
8wVxSCooHqaE10O5esRpCuWiFszxUVi5Drr7Km2yooCR8QDdoNNSZayRa9OHA0Ct
EtF8ajtoGYfn2/CzdQWtqxG4Umutf4sg5p3VM1Kd7R1J0tCZPIukh9ugHT1Wxa5n
oqZx7uUQkb2tLr4S2EXOmJm5qW+IDzle03x8HByaHVt16+D8AB4ck9t6m4wi436l
2jOjgprZUVNYM9P1Qqkx2aUj9yck6KxSnJtUytAA8y/yW1I5jZ/Lhpr3g/9ZNZDk
ZkNhFNYYdjRBRi/CUlG06N0YcQLSXRmqRUQJpv1zCCwuzCVY3/LuNuNgsfU012o1
aJCYWWQ1CYdvhIZQgSSwe0iKqBJ8QKaJLqdxnVs95dreE2F4ewZ59ENyA062wtx0
kqXPdpNLfQ7V2H5FmChrDC6i2TsilNpPrCwQmVxWbW+TNiJt6poUsRpJs9qPP/m2
MNfaaYeT2sodHaoU49FKNr4vHkqBDknHrrgJ7h7pUancZbCW7sAMnCmiG5W+MpjS
3WPSctOHlp9J64gJQYAVOfxCvdGepvjFvGfcBpFVL2Y7OqKexbw823XOYxgvXqkV
9a6sDbFlSM+g
=LODt
-----END PGP SIGNATURE-----