Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 12 Apr 2024 15:58:55 +0200
Source: coq-iris
Architecture: source
Version: 4.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-iris (4.2.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version 4.7.0.
Checksums-Sha1:
2089e608646341861640a4f2459f4287ee6cf083 2162 coq-iris_4.2.0-1.dsc
8208828253909b6cec3d4fd443c30d8b5884028b 764668 coq-iris_4.2.0.orig.tar.gz
c70af5d8344cbda8e39da572d0c11a0bbd3658d6 12108 coq-iris_4.2.0-1.debian.tar.xz
1f2eb20e502007744464eda63ecd92e66c654b7a 14764 coq-iris_4.2.0-1_source.buildinfo
Checksums-Sha256:
599e9526a897c9923b2122476a4ae4ae91aff5047496422a446ab51ebe851980 2162 coq-iris_4.2.0-1.dsc
4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
5dc0bee17655c150d88af3740fdd19733502c639e0a476e1154923d2b12c931c 12108 coq-iris_4.2.0-1.debian.tar.xz
3508bc864b5021f56749963125c5fec24465878d9882fe430b4dd2c46d1dc2b0 14764 coq-iris_4.2.0-1_source.buildinfo
Files:
6ceb6cddeb00bcbf3643f895be9d832f 2162 ocaml optional coq-iris_4.2.0-1.dsc
bf33a4d0906f06037b20998f059d5cea 764668 ocaml optional coq-iris_4.2.0.orig.tar.gz
56212197f59d579ee5a81065c8300572 12108 ocaml optional coq-iris_4.2.0-1.debian.tar.xz
a85f63fe1b96525764a505465d40bdd4 14764 ocaml optional coq-iris_4.2.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYZPokSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRylMP/je3DJJfl8SLM33xX2aJbSyclDauI/6B z26Z3tNuwgcUtNl0yifjP/G4OFe1O/9GXoul4zIprVb8uskh4ycejof0IrEO6apA zLINztKn/PX93v7TU9BI4F+zX7Wii1wTifK63hAyL7ikWHWuQPd1/KvGfiE+Ls/0 VWkPqIXNluEPlxkZIPduxbtA5L/CclSACSamriSuAjBIf+vu7uL9qJiEqI4d1Ft3 M6KfBHCsDpBeJ5rkMqhEgogde6+mGazgdZLh3VkBhD/HoG+JyLcqyPMkYwDSO9nP VYEetn3aNZ6aVuon2cukr4H9SQ4Cr9mrix1gGG+2otBXW6Qje5tjw9iNwLIVO+GO bbwbB5nLUOtHvD1CNbMM7ZuAiwSKya3feKz5CnknUQdhvf4mE//3DhR7EGDNRWFG FjwzJkn4g2QvhNjYBLhRSuHtAkRjV8AO8x+xCec/oUedudD04X/pA7luOlxcR+1P LV6Sh/Knp1ovbPBxcKONxr/mk9kockYHNPdiXvOCE+B2b6W+wj1x39IivbT8PdNq HbBUXVQktjbmTHSzr7j3qdsvqFpl2W0H7PvuwG/SBODOAXzDIIYm+LKsJydOyKO6 chJ/yP/z4m2Ppiy2wPcUbdUQT7DBMsgLg1yGLlHbpZb2A1JK1844MAqKegoW2IX7
rIH7TrW508PO
=Q3xE
-----END PGP SIGNATURE-----


--==============d51228775353901088=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi5exgAKCRCb9qggYcy5 IXT3AP9mVOSl7S/mRELapmelTdlqhjp8JY1zjm0yVnJ3Gmm6EwEA5oLP3MG9lir4 1dL0JttcefChktHnf3xGSg2ho3KG1wE=xsYr
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)