Accepted coq-iris 4.4.0-1 (source amd64) into experimental

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