coq-iris_4.1.0-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 16:59:31 +0100
Source: coq-iris
Architecture: source
Version: 4.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044393
Changes:
coq-iris (4.1.0-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044393).
* New upstream release.
Checksums-Sha1:
91db32d8f3678f2ac7c30d7f5068a8e9665aa677 2162 coq-iris_4.1.0-1.dsc
3c6c0b3f999587161cf6494e47743065e3d4af70 749982 coq-iris_4.1.0.orig.tar.gz
a268d1393c5b248318a7c7c621f63d9d816c1cc0 12072 coq-iris_4.1.0-1.debian.tar.xz
b03e8cbe12516657cd56ea21cb8d84be435d4354 14470 coq-iris_4.1.0-1_source.buildinfo
Checksums-Sha256:
02f64bbc2d51f0b8962b3a5b9449cadb032306e03b8ff736c669c244b6f810f9 2162 coq-iris_4.1.0-1.dsc
af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694 749982 coq-iris_4.1.0.orig.tar.gz
6b792592de7466b60a1b6651dd0977c2ab046826b3878016a37189559a4ab44b 12072 coq-iris_4.1.0-1.debian.tar.xz
4a4718e9abd7df3c735ebcaf551b20bf919fb06b3ff88f8f0c432f818584c0f9 14470 coq-iris_4.1.0-1_source.buildinfo
Files:
213e5fcf260670ee6925b48e74c93c49 2162 ocaml optional coq-iris_4.1.0-1.dsc
e1fd1bbfb6bb8fc144342e5c7d4222ee 749982 ocaml optional coq-iris_4.1.0.orig.tar.gz
e9178cbed05ef147852f905efe380c26 12072 ocaml optional coq-iris_4.1.0-1.debian.tar.xz
de3da8ebe25617287bb42fb636dc0fbb 14470 ocaml optional coq-iris_4.1.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYw4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRS8gP/ijTkMwtfNWtKOWlqOcqS2sQPCuRgLMG
AEgPeVjC7Zt39764qeZcif1d/gKgpZWRyPk/I+4TAxXaPa9ceptkd9B02KYAEEfk
gCYup6XM0qH/3SrA0xxiMNnAnLBJkbSaChXNOXkPty2STmtrV+AAG+xUdXyypB+V
zfLLHqGeA0AdlZyrrzXYZKCgAclhENkGkovTfLwBHBOWQKfwip8fvxjOF6mA2nOf
w3ElCXr9gIODYHDf7zQcA6qjDOlobuB2t+q2yG+KgQPLz20L8sOHm3GIAaf/7gru
LEUpXtGcDZmxaK7bgtE8B58oXlWVhZxOsg5FNDi+Ile3MAFZUDxaKV+Nrau2QUgb
7bA5Mc6rC9jhEAJQ7RDpDpmxGs5kXo9k4PC+/5WLOCUMGIsXOYHe8+pPvcLh8J7G
QC8743SsxApKYR+KhVmPDEMFsdg1+prbbk6WFK3tWOUz+Eu74wa2h8btjW5/nF7r
kKl+U8FeCp6A9bsQkE2/tydUax0+dj9L6YUnh3jhzi7iWSc9HO8MKTHHkN9gjqib
PTN15OAs9FJE6G7dqzdIi5ZhxOV1Hunorvmg6iVDpq06aqenz6SbHDAbvuuWRe2v
QNHrdljEQkOcUnKwZZQIF9mlDiyi256ayFq1xsq+2Q3+5/wCLpP1+SwxJGesgWvx
in+ZzVJjzTqz
=y3/v
-----END PGP SIGNATURE-----
Reply to: