-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 18:59:05 +0200 Source: coq-iris Binary: libcoq-iris Architecture: source amd64 Version: 4.5.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-iris - high-order concurrent separation logic framework for Coq Changes: coq-iris (4.5.0-1) experimental; urgency=medium . [ Gianfranco Costamagna ] * Increase timeout on riscv64 again . [ Julien Puydt ] * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: 62ccd95fa6f408fbdfcc9d3438ec3b438f290ab3 2171 coq-iris_4.5.0-1.dsc 61cdfc464ebf2c21c253f6cbd41f1ffc9c6f3c7b 816280 coq-iris_4.5.0.orig.tar.gz 6d021acd6aff11808d1c5e9f197e43691b51d57b 12944 coq-iris_4.5.0-1.debian.tar.xz 884ea2b737fe88dfc312dad4adf54c903cd575c5 14177 coq-iris_4.5.0-1_amd64.buildinfo 81ef5f2380121cf377b8b5667ddc1960ed648086 13242860 libcoq-iris_4.5.0-1_amd64.deb Checksums-Sha256: c25e0a45ef85869979c7fc49836b40cf981b579bfcafa5797c272cdce945d4ae 2171 coq-iris_4.5.0-1.dsc 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz f657c9347a41f2a8a867b4f22901060a2010def0eb04d0f6cc7b44b040d9cf3b 12944 coq-iris_4.5.0-1.debian.tar.xz 92cb847473b3b1648adab81e97e0600280838eb99bf166131336e5ad2412ced0 14177 coq-iris_4.5.0-1_amd64.buildinfo 6ca3932b9d6e17ea00fefa8a5401011ff121b1a233eb335db8a72f621ae77311 13242860 libcoq-iris_4.5.0-1_amd64.deb Files: 9ee2392f8cbaf2a3dc0f0186d25a9e1c 2171 ocaml optional coq-iris_4.5.0-1.dsc 9322625971703443de817c646f216267 816280 ocaml optional coq-iris_4.5.0.orig.tar.gz 95fbfb6994e9c108011f7155e6765120 12944 ocaml optional coq-iris_4.5.0-1.debian.tar.xz db165541947a0a9a013eb0f9f8fb1282 14177 ocaml optional coq-iris_4.5.0-1_amd64.buildinfo 821357bd8d4ac5bbd76aab2ed2094206 13242860 ocaml optional libcoq-iris_4.5.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRK2AZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWpCEACMZ/zw6Ar/l6rW0m0JAfLH S+xsqad2+p9yI2kNGymGkU7OtabiwnxvVcO5bPP11r4Yzc2y7CtyRLXbSIGqdgC/ MVNGaiown8UgwcVi3QhALmvhPJLOIwz3y+Dad4YK/FMKoFsSyQEWf2cH6Wr/PT6J IElofJueyYWQO7Uw8mWKO5a6iS7yUu53pC+C2w/rHBfFKFKWDqKxE/LcStEnYMlq 3rEFDhj9IldxBHh2WlqCDq+gsr69TbWilDN3uq6GKswx8Xeje06BFRamI+VEvuLu +AlZygJ6RAK6HImF1J3PQNC/HTqOBkAfTLeJLoUQg9nI5WwcDg96HNHMk3FbA0fy /CIej3mHJiQNCfHGRfKd4mdHzMA+1F+CUhc/sheHfRFEgxFI0fvUnNAv2C/lEJUE uHX7LPubx8gmFxZGcWwAzHQ46KPw5bDJMzpMcnROM0nFugO2SQ8LJOO0tTB6019I 6FdrVavkuZY2jdP4brgQWFKRozA+WEIYgUkmB3+8DgxjbQVoGZgt8EeePOgy73bH Kp0gveC6A+PJtobVTl5pNMHBTFs0wIVQlKecrE+VyH1FokV5DPfS/uyrmLCxKLhj onrZ479DWw/8yS5s5CaLTYs/Z3wXni/ssJg0mbilRqyvkwga0KcfEFqIg3Cqrmi7 VeKhQAe06cXYmnKCYRQ9Fw== =pc2j -----END PGP SIGNATURE-----
pgptS5QJlq9Ak.pgp
Description: PGP signature
