Accepted paramcoq 1.1.3+coq8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3+coq8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:37:47 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: paramcoq_1.1.3+coq8.18-1_source.changes
- Debian-source: paramcoq
- Debian-suite: unstable
- Debian-version: 1.1.3+coq8.18-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=jcIASviEeY2n6lYr9fKLA++VZvwiqf09l5G96IwKx4A=; b=ZegWXG8Y/Kbh4Ztj5M8YcGu73O SzD5X0Tqu3VyaM4G7VNOrhSDXaYHonVpft9XNEoiyLbHG9F00+u9NQ/UMSP0qZk7BOLL5Sw0qogP4 H4O9ERSG0PGy/HdK1l3A+0I/x/EEgOzmOr3P/O1hVWQv63CsnD3ZPNzA1BpAu4HaNk6KntCNNgMz9 HgNGeOTOGy9mTMZb98ak6eC0gOx9ahSC7hPM4UzyZ2G/b2ahbA3VdxqwYYcAN+Ol0v9bD1Vt+aujE 0EgozwH06nkYRVuE0FKJ/h0L2tXrJ0vjI0UG1z7QCjrP0OnLx/4KIgPZDNPvat1C/rx7DRap75Nge 2qVOKLcQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcuZ-00DT7v-HW@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:33:29 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1048381
Changes:
paramcoq (1.1.3+coq8.18-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1048381).
* New upstream release.
Checksums-Sha1:
6c2cf263a1f4bffb3f1a08329bdc2eaf4ee9667b 2111 paramcoq_1.1.3+coq8.18-1.dsc
c911aeb7a2e301479321d7d86ae8f3510bbcda06 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
b974ce9fb042486da705333241d56db5a091165f 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
dd0f32194e1b6b9122c7acc20778ae19f7b97ae2 7860 paramcoq_1.1.3+coq8.18-1_source.buildinfo
Checksums-Sha256:
439b27a55761069cb8520d85337efebe410363a33e55edbf71f5a1b9411e37a7 2111 paramcoq_1.1.3+coq8.18-1.dsc
442de1e24a5bcbd23381dd5ff7b94c323871359332b462a99b1c2473f55cc524 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
9f1dfcd0d025168dd3da8c5c687234ba85e85b6ee6d6cf0613b0bb8d1c1745b6 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
1831bd7125c79b8e6b1105a4a57089581306fedf65ee09b08e782b6e5b42b0e5 7860 paramcoq_1.1.3+coq8.18-1_source.buildinfo
Files:
b1d38263a020729dbc7d0174b52fe927 2111 ocaml optional paramcoq_1.1.3+coq8.18-1.dsc
493f4cc42f745881f7d64f05fb438dec 45759 ocaml optional paramcoq_1.1.3+coq8.18.orig.tar.gz
29da8affc237b99efbeb5cc2081810da 3092 ocaml optional paramcoq_1.1.3+coq8.18-1.debian.tar.xz
5ebe77740ca3372f471944f00c7bdefd 7860 ocaml optional paramcoq_1.1.3+coq8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWuESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWoYP+wQ9Fo8IGV3+ivZOaDh3CVY3l6rW6STT
bWXxrUMCx2onAJEZJwnqewMZRW9c//cgvzhYYQnzS8sUxOv4VHjac47xLeK1Q4TX
7o23E7pghRSU4LWKq//F2/lfE6vWA/IxgiEu/a0uoYShkcLp6bkwrzDHCDh1F2rM
12hzVQz58e59aqQcnI7zPHot1pxw0ta9YafXfDpJ77C+4SzbhQKmrcl2UOILqYTi
LqTWKaDgMCDdmdoRKFflIjxda9he+TX/DnNAbyfPgpCQAlx0uUezh3lLHrG62XMI
P6GLlvGa8pSNooiO5JZfsl3rzLBvjvKOKXEt2gkpZzbXzgudwf3yoFQVF/9EEX32
005fSRp20iwdX6hD0Z6FTmygZ9ywwCNVxA+KNXv5Z5spfIqYegqYeqX0SLuEnlzA
4UQddvSR5YSEggdWW4fwTcReFDTjHbTG6/LAvWu2tHr75inHY4BT+O/4imsKD18a
JHdkBFB3bkLjBvpvV82ZMnXaQJbPn5rZRzVyuc3BCoDBbp1auwwpaZ05rAIC7mv8
N1saUfpJYuwWFY6gM8WkOuMBDpfC7pTO0zb2IWHrXeZr/KP2DYDTE/d+4zkTLCAz
fSaH/2AZNGJUnO0PT36qAkjIgrma3MEd8P90MWA4NMVSpgA16qH0Cq9/LvDIX59g
DetbD41SpTDi
=y3MM
-----END PGP SIGNATURE-----