-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:07:59 +0100 Source: coq-iris Binary: libcoq-iris Architecture: source amd64 Version: 4.4.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-iris - high-order concurrent separation logic framework for Coq Changes: coq-iris (4.4.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: b781381785c392a1aaa34cd46c26d7f3fdc7382a 2167 coq-iris_4.4.0-1.dsc 1e038a431a3b9d4dbb6f7a9f536274ab289eefc5 638644 coq-iris_4.4.0.orig.tar.bz2 d5785b37ac373973507c4a3fabcbb71a0f1eebf1 12724 coq-iris_4.4.0-1.debian.tar.xz b0ddc6b270bcc54ab2fbed71f5ab6f74b5e4f43d 13561 coq-iris_4.4.0-1_amd64.buildinfo bf4cd170b1bf2724b8d1259f556528259541f79d 13043080 libcoq-iris_4.4.0-1_amd64.deb Checksums-Sha256: 924ec4022d4e795121c537c6cd2a0bfc296d908db84ab4251dd8265a0edaecae 2167 coq-iris_4.4.0-1.dsc 14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576 638644 coq-iris_4.4.0.orig.tar.bz2 6a97edd6df92336c9e1449310fb790e811c906aaea151afb98e31c69be9b26e6 12724 coq-iris_4.4.0-1.debian.tar.xz 92b4c878cda961186c7faab2c97bf900fd0cc8a8fa494ba29c4d905d9a88299b 13561 coq-iris_4.4.0-1_amd64.buildinfo 16b0ea53aaf11823cc3f8118b8e106bd63f22d7138ac5c099f7167551434e815 13043080 libcoq-iris_4.4.0-1_amd64.deb Files: b2cb184396f7656aee06f77281a9f116 2167 ocaml optional coq-iris_4.4.0-1.dsc 382b64e452e1adc748827a2f5898d054 638644 ocaml optional coq-iris_4.4.0.orig.tar.bz2 b69474711964d15357447aa74ea1be26 12724 ocaml optional coq-iris_4.4.0-1.debian.tar.xz 767f2441a87a6c1f4e37ea8288836736 13561 ocaml optional coq-iris_4.4.0-1_amd64.buildinfo ede9360e25fd9416e1864f2e076c74c5 13043080 ocaml optional libcoq-iris_4.4.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB3WsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVDzD/4nvwoh89UacN0hLh1Vp1mJ qKRAmR/EsvcpZLvrmJTL/csuBmn/jFMw6Nv278KYYHGy35FHRVhr7z0v5R526d/j DM4LFXbVFHwT8easeCkNcfLyVay0aovgneCdu8D21WaJJrbcuD/pNWHtcbkvsMzd y0pFKPWjC72vmCPFHTaHvSkk5rr3m5+ySts5az5n1pPBtK6dzwyc9z2B+aa0Gj8I GDgbQXj/zhrbuAhVEuFndZFH2Fa7yzwl008KWlVgqZ3Kw7tmE1kNAysGRz33Oik3 Rrx8qlAR8WurRKjVh1wzJoVQpCdUrQutxj5pO3JObfjrIPLcSNrrmlSMEHYsAU7I t2XMwEDbijKmd8KB9MbltaZJc2PVc0B9Z3STLTu5h5KSZNtwiHWlBKLwOw1MWS0y 8l+WE/VgVbu2duqhY+zHKsU89810y2rzA38ZhMek46Xh31IcGjc1Twba+llW9K5K MRa8988JQF1NcHr0AOdFRaBq8YCZCMe6Cr3gC14X0yWu8O4lQnPU8pUpcR6yaWQw WxV9U9rWUX8LgiJ1nzcRUygZy+uIDq9cAI5831LKZ5ONTTcgYGQH4Fwq21dc/O4k hh9p+m5GlieUe5nqEXcbhPImonZ0q1rRXgcQHj0JAAVn5Gtsj9xdyU/xxgLDXPbe b1yNBpItDvHSM7q3ydnX/Q== =JQg1 -----END PGP SIGNATURE-----
Attachment:
pgpgIzC72woRU.pgp
Description: PGP signature