Accepted coq-elpi 1.19.3-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.19.3-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:35:00 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.19.3-1_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.19.3-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=ikzB9T9R8KgeCDiwUh+Fl14eIXMF1acHssoTSMhZO6E=; b=fPY7WfSZnoJIMvBa4UjieRb6q4 jup2tqKcytgAwNwc2QcU3AKE4O+1503ZE2WqVwG6oAW1ZpuOpeoCW1VTbwQVd470isYtBVa37KQmQ jk0sPZftLE946w7rxmOL6j/dY6PPZXZfumP0Tbt1Q1UM4lPeR2n12ss6mwRZ06PQLbxzUjrL9aQxP WewYFJI3NtsO8zRAK5e9jdOm3C1+cxcK4HzqqocSfg8uHnDNvfS1TV4cVnOUHTqPPhMOjmrORTlQZ bb3S/beEHgMfiRhxkyb+xDXEqtvHQyxe2d2hu/fDhS0k6OM7DteeCMpMZ3kpZ+aWT3KXPTwEGX0nX PKTdhgbA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcrs-00DSaW-Rw@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:23:48 +0100
Source: coq-elpi
Architecture: source
Version: 1.19.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044251
Changes:
coq-elpi (1.19.3-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044251).
* New upstream release.
* Drop all patches.
Checksums-Sha1:
6c3d6349bbf4b18f8e21b4e21cc82c8ac22ed3ca 2030 coq-elpi_1.19.3-1.dsc
2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
b667c6758533704f789838a47f40df7ed69d43ee 3108 coq-elpi_1.19.3-1.debian.tar.xz
5ba00d1e355033584212c31c7f163f599353b307 8324 coq-elpi_1.19.3-1_source.buildinfo
Checksums-Sha256:
d2b6dd2f43c215e1db9e80e6602a494ee0b8f2ffdc8bd910dfb1bbcbe105731b 2030 coq-elpi_1.19.3-1.dsc
befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
9773680b529e9ba705f1dc8c9141e5d97b02edf8dc8d0ce44265aaea57375989 3108 coq-elpi_1.19.3-1.debian.tar.xz
4b7db8431e3efc3756400e54143c897c590a863f9ab42fc5de54ccb07290eca5 8324 coq-elpi_1.19.3-1_source.buildinfo
Files:
885762b7e7fe945b4bce0bce4ef4aec3 2030 ocaml optional coq-elpi_1.19.3-1.dsc
17db60a99d07ca13976b794a8205327b 571678 ocaml optional coq-elpi_1.19.3.orig.tar.gz
be756cf889bd9c549aafd143d66208d3 3108 ocaml optional coq-elpi_1.19.3-1.debian.tar.xz
eca26f018f36cabe2fd44548441980a1 8324 ocaml optional coq-elpi_1.19.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESpMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu0MP/jJvPaTwYLVQvgOYCox+8MpiLPj3h59z
hLOxLU4n91FpsvuDkBRHtrwWrnLAynC/cMBMtTP4/SG05CRb4ZS+nE4FnnjrF1Cs
hjFR6p06/N6fNFAVxW001qsND+2xMOU/iNFijer6Ce5HRaWcsN35/UVoqWKiDABL
Ayld6i6UxmPPmxcwbh8E9qOL8vEDeeAQOJ2yuQTaN+wUSQ4sgP/FozXWtMoj9vrZ
r5cJZ/U47ED+NzeqFF8XVTjI1S3QN5U6kM2LmggMRrbQVw2gPDytUSk89PSbIbYt
5Jgaay/A8OzUdowFVdBFFaBRpGcdxONjpXli2STnKajLwqnhu3ubPUQN798VlCgi
9jztRSwXwwuUDMEO7cgEOZjdKzaBeM0wY63WM2/VMfPk9R1ykJD2leCf0t6ZdZ8T
+Z/BWZCkzCe7QyVNwy6iNmNkuqrB0GP4EIsBPJLjs31WJbNvhpTNIt/oiPM+FQEc
TKDf4mjoLgSr8xrqrRv/aopfWL/tbNsN3IeQ815sj3RkMJV7/OPD35O5KtnfmIhn
fFCiwsFS76ieSkMmZpd0l4MY6tlZlV0Vl94kKkAsnqEo1TQBt69ANwh1e2RoT3Bx
i+kZo1DPxKJj3aZuR3z6vbjJCRiLvLY1oJrHuLIAoEaIEa3zNLvuFmIYjGek0hXt
eRg+LsYPRd9x
=0Ud4
-----END PGP SIGNATURE-----