-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:39:53 +0200 Source: coq-iris Binary: libcoq-iris Architecture: source amd64 Version: 4.5.0-2 Distribution: unstable 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.5.0-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: c20e353cf0726feac85365a0259175a067352e05 2171 coq-iris_4.5.0-2.dsc 61cdfc464ebf2c21c253f6cbd41f1ffc9c6f3c7b 816280 coq-iris_4.5.0.orig.tar.gz befcb8e44c36af50b4290604131913a852352de4 12976 coq-iris_4.5.0-2.debian.tar.xz e04e424f6dc95b2aa003c2c61cf63e98d33e7353 13734 coq-iris_4.5.0-2_amd64.buildinfo 5db8ecccddb457e78688dffe51b137b384ecaca4 13238500 libcoq-iris_4.5.0-2_amd64.deb Checksums-Sha256: 711e99484d2279c07406f3240fe50a1b65e489ad6867df74218a057b7604db0e 2171 coq-iris_4.5.0-2.dsc 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz d0a6baa109f0f94367584f14c9ff94ae10a6fa8fb2e747c937e14528beb3667b 12976 coq-iris_4.5.0-2.debian.tar.xz 72a94b9be7d13ac8eb59c92620fb7d5ff7c8d8a6dfebd30f4aaf93681d9ce5fa 13734 coq-iris_4.5.0-2_amd64.buildinfo 699d224d5b73cb830c9510b986f160d96ec2f4da51d4ec93ca6ca70103261399 13238500 libcoq-iris_4.5.0-2_amd64.deb Files: 005f7a0676e734325fae92956a453b1b 2171 ocaml optional coq-iris_4.5.0-2.dsc 9322625971703443de817c646f216267 816280 ocaml optional coq-iris_4.5.0.orig.tar.gz ca9090305168471bb147ca7da8ead0b7 12976 ocaml optional coq-iris_4.5.0-2.debian.tar.xz a95583064c31b01dc1cb624b8061cc03 13734 ocaml optional coq-iris_4.5.0-2_amd64.buildinfo a1dbe60e27c315b7d3e7274c07123fc9 13238500 ocaml optional libcoq-iris_4.5.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo12wZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUb6AEACMwsBfVVBqbJ3lDVCIYisT AZv50o3ARA/TWmRlRVqPstWYgVKPVgmRs9zox3b+UYDk8bpsompj4cfWO49I3SV1 1AgGamFq2c6TR4V2pEOYESasdkjsrSyKzf/tWgVSZWI+ik0D7z2+WakjZA0T9mOL Yv2E76fasETOdmaDnVFvx8JSNzz4rroDKwymqfWLMue1nzI7v/22GcfWgQmadnWC vLFww/zmuUfIOvaJOn8FA5KjsjQdEbFWT743FKKJDwvX4zqGqooh5gK+B/n/49N3 0eIjTJJl4WFREp1M/zc5pqmYWqv7DKshOawvJ5gtWdFwVvCKK4ulSnYJRo9ERAvL W1yRXo/2p3uI1iffRDbE7u/MVoJj4jskvMCVXMqr/Bjn4jkiq8P8XqSQ5VmejlQ6 Owi1j5P8TlmPaLGgv1omwxbiSiF85dBRmhXW+L8JaBnRJX8oHQJrFjyY4Fz+P11b GExiC8nhwSW0jfo3lwy3kWrR7Yl+3+9OE+EsLGPhTnr2GU7d/1bzZmK7Wu+qFKpB lG2u1hhTzEnHzhl87U8KdLyKCgP3MEmIVd01FzEwAXu228XqId7imM1mnF1d3QVP ER7ZoLbibPoxM/Vb4jy4YeTi/PeKdd4bp5SXgNJPI7AWccE7h68bBmebl5aMHwYW F3vMOTmZkOOakMwu8xczmg== =dZYs -----END PGP SIGNATURE-----
