-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:16:32 +0100 Source: coq-iris Binary: libcoq-iris Architecture: source amd64 Version: 4.4.0-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 667b0f97be7310153b0a906bca557c57c05462b5 2174 coq-iris_4.4.0-2.dsc 43f1b4a5b57afa9b81342782edabbbe8b7851f61 12760 coq-iris_4.4.0-2.debian.tar.xz b8abfa86637eb8746ee279ff7c8c21ec4582fffc 13558 coq-iris_4.4.0-2_amd64.buildinfo fafdd64124780ee7acc7b65a75694e7de53d0d13 13041100 libcoq-iris_4.4.0-2_amd64.deb Checksums-Sha256: d8a3dca1bd42bf56f75693a5edf1d6f6bf939d5ee140ab6b33743fb09935ec30 2174 coq-iris_4.4.0-2.dsc f7fb39c16c55831df93c7e83d538d8c69419ec835680b99623d3641b2148dd40 12760 coq-iris_4.4.0-2.debian.tar.xz b239501190f3c52a5518bc86f3c5211f5154c078cfb0a7aabbba73c1fa0b56ad 13558 coq-iris_4.4.0-2_amd64.buildinfo e40ef9d224ad76d8491aaae3ab189de1d26dbaf0cc91823c8e3fc98dac15a5b7 13041100 libcoq-iris_4.4.0-2_amd64.deb Files: 609e37d29c6843eea2ccf3be5b8b3a9e 2174 ocaml optional coq-iris_4.4.0-2.dsc ed250e3e67588478251b82209ddac52d 12760 ocaml optional coq-iris_4.4.0-2.debian.tar.xz cd564b8f19d644ba168d976be47605f3 13558 ocaml optional coq-iris_4.4.0-2_amd64.buildinfo 0e4dc546dc124658aa5aa9883ebb51d2 13041100 ocaml optional libcoq-iris_4.4.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgO0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTEvEACftUH4HHjT9J0ogN0TtnZL qzWV2JUmttcdSqezZWp4VNN83ROCCUDzT3nlmY5EKnPJaixAGrCBW4rH61+xiS6i EFK/aMIm9O9i3ZiEGn7vEogNr1w7wIHOqv1XdlEMmLkcMABECjfhljsLA99nKXMp Ysd+2194gWoe1W9V3kog8OMoWV5Q5WlqfevoJ462G+nHLlmAPqUrmUVm+aC45a46 XUb0Hk6HdL5lejEgTmscc7N1EHfmwU95KMh0V8fuQAiql5/7nMAFPA0CfgBDrDud rOpfgaoBypxXlz3EVssJwRgpKXrbfvI5wWNGaG/tBzl+psdDLmfLnKecHkfRUcHA x6C2p6WM9I7zBO7JzwZFjzJ3Pt47eIMj5O+NAjrocOpH5fmBKk1f4IIXUjCPbD5O 3O+cBzpwbgOfBlOdQRnZ9s+2gQ3P8O6pEuaUdER5y9Rh9qySQRFdCpidSaYZN1F9 X+e300kXT1qVSqrtH4KRnYLMBzjv5rY1IOrjK0Ug9QXO32H51/eZmenvM9KqgJLo ZGP2oXYx7YKPilIbf9OlLu/FIvK0GyC0gBDggw3SS+OQ3XupAlT2JCfvuZaxp4DJ Zdz0pB/IxCn/QGBrkhbyxgraB+qaQoiSgwtbpr1TDJUv04UgSroNWRH6YetSk8mZ ftTNmI5636KoaJwYTS5eCQ== =xxE6 -----END PGP SIGNATURE-----
