Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 20 Nov 2024 10:49:35 +0100
Source: coq-unicoq
Architecture: source
Version: 1.6-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-unicoq (1.6-8.19-3) unstable; urgency=medium
.
* Add patch for Coq 8.20 support.
Checksums-Sha1:
ffe0eeee362a7e2f3aab11a84c3da02a11e4601b 2094 coq-unicoq_1.6-8.19-3.dsc
94381ad65aa98274d55e6cd56da2536883c2ac73 3976 coq-unicoq_1.6-8.19-3.debian.tar.xz
dbbf02887fd1e9ecb5ad8d0361acb96668b8da79 7140 coq-unicoq_1.6-8.19-3_source.buildinfo
Checksums-Sha256:
0a67436dbd63bd05d40dd1076baefedc4da6321e0a50b03967befa11f9f278e3 2094 coq-unicoq_1.6-8.19-3.dsc
69b88f1db8f3763e1cc8566208117bbd32ce2b9970674578745f426b3d48e8a9 3976 coq-unicoq_1.6-8.19-3.debian.tar.xz
26bb525135efec5b213e8e323071e6f199191948b1a8e3e5a67db36f4b9166f2 7140 coq-unicoq_1.6-8.19-3_source.buildinfo
Files:
73a33c7741885f9a137b77720bf60d4d 2094 ocaml optional coq-unicoq_1.6-8.19-3.dsc
983faa7a01ce071f1682da53871dbf66 3976 ocaml optional coq-unicoq_1.6-8.19-3.debian.tar.xz
9c9512d414858765d957e2904ed75243 7140 ocaml optional coq-unicoq_1.6-8.19-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sNISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR2XwQAJ6ek/kQchvgkXG3fRcQDV+B7KJIjNp8 MBA87ynKwXW6sWX9Frwz/GtXlmMerrfKwmcG5jDRpv5W1nGU6C2MbtthjDLePJAw YrRV5K9i+vTnw4Y21o/dIw6+KSMwigv28SKm/fqBhpUUTDMT6KK5X6voRPzKeaG0 EOQjbXiFbWv+8NXTBYpyik2u2o6NC/0nBy8JJ/EVdfzxDevcwlGZja+r3ezYQmfM eOUcaOH9FIAzRkMlAHS0pNtXzRFrjzuyjnkvUeuO2tZaJACU7AKN8Qt4RTZCa7+I OAJWRdPxDQjV0xKYoNWOjDjmvEUnGt6S8ekzk9QBNMe6hlvgv6Pq1PlIm+4jjiJW 3G8NZ2PH4r7dQBZD72mmXWmTVtsu17iIwLYvdTeS0eBIqRUm1yEQhhD93KSYooVg v7O7Cuekas2ZbYc/YNVtgEiNoA63cVOUczcxEJLYcOOseiWMoY4JqeKkNqQi/ZC0 qToky+y4Sd/sSDDjkXKdif/FdrfycJa5Yf9jcrd2uHbHUFEOCr1H0e4wl/S+HViL KDJnJ5Me2n++5ZtSKJtyyHxixFeqhn5vb7DPYBANiyElozXM+jG2hHWcI2vTUcsf 1oygHyf4Vzvkko2GvPaKCaHH1I9VHUO9FH5BUbRDn8rkHch/L4AlgMKu91DbLqoh
IPNX0p/WOQJE
=qZjs
-----END PGP SIGNATURE-----
--==============t31956796816713055=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz201wAKCRCb9qggYcy5 IbouAP9xWf76B0963WZF3jd+ZVy/66HMSh5C6s5oza2ktdIuAwEA49oOCv2BbFUG YJtv7dYITglAn/wg2kKsF7yMB6JO8Qk=m+Nq
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)