-----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-----
