• coq-unicoq_1.6-8.19-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Nov 20 11:10:02 2024
    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)