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 <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-----
Attachment:
pgp25UayN8q0c.pgp
Description: PGP signature