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