Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============004404465316032172=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz23wQAKCRCb9qggYcy5 Idj8AQCA1z7+J75dzIotrgSs4eyPR2namj5KSAeZs/x5gNdV3wD/SEWOsVhuY5Zt bb07NFH+1ruGak/2votx68c654+swQk=1s8K
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)