Accepted coq-iris 4.1.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-iris 4.1.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:19:38 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-iris_4.1.0-1_source.changes
- Debian-source: coq-iris
- Debian-suite: unstable
- Debian-version: 4.1.0-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=HKRNxMEKks/oHtgrie9K2NZ5wVWz6GXSSxMloRV4VXA=; b=BNglfWZns1TwYRy/qeLNOk1hmc SCiRsCUlG7twj8ohPTcL9mPu3fThSZ1CnqA+6xj1kN915JDb92W+7+054CFjYIIyvEoAq2HWgX261 VPWJdv3WovMmG2PP9CAbtOwN73/Kx0fG22pMv4JC27q07Wn4c9pNwOSixjT08wtsMwReR+OW9p0Vc GNWXEkRv3B/efDE7eZnG/7+HaY1rrbTZVECv4JoYeMnGX/ZGv/kmtQbeBT4JbkZLNgySSaFed45u7 WO1aM0IRzgkiidSmbYZjiVxpIGCdAgfkjqJdDwhSbftBQNOcwODbrCyLRyx/XBaouFhRueNY/yfxc zG3akZpw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH02c-002Q6a-QL@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----