Accepted coq-elpi 1.14.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.14.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 21 May 2022 18:03:47 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=LvFDC+JKX08xuBWWDLXf4Kvis/nOeLXH151OTwrwcTQ=; b=oazmhLmvbmvEcMNy/GnQ8UY6+l zMaYIJBbl/AsydRYLQes5kPcsZwDW8cm7YeRzTDKMbxh7Co3vcHMso0tww8k/I4DzMmG6iT+g+CFR 5HnSfHD2ANbl3WMel9m2dWKryZvlCk4d+zkj41bIzDF6wNHcQWRUqmHOfBYeQ87BC9gvCg0tlonzX V28yAY1FLD57CKmdHtg60iGvd26wtIh1oKpv9TlxxUnT58dXp3mHH3egcmphuPL2DuE8RtUaiqtDY qDEK0SBkSFX94fh34ZIJ/to6/AW9iSmcOSZPgrbk3CsY6uOQS6icw6vl6fND8V9JsYg5tO9cqKSf8 PimH18Bw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nsTS7-000ALK-IN@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 21 May 2022 19:43:46 +0200
Source: coq-elpi
Architecture: source
Version: 1.14.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (1.14.0-2) unstable; urgency=medium
.
* Re-upload because of broken ABI.
Checksums-Sha1:
dfe4fdd39859561c016381ffc0c358675e0b398f 2142 coq-elpi_1.14.0-2.dsc
76002abf616ed33b0bd327507173f249fe3e1f78 3164 coq-elpi_1.14.0-2.debian.tar.xz
cbe16f3439cebfffa744ae4fa67511ed84969791 7206 coq-elpi_1.14.0-2_source.buildinfo
Checksums-Sha256:
d99c5c8aac3333fec9d0e8f72b506eb5a77efc0be96372ed89600f8138285c79 2142 coq-elpi_1.14.0-2.dsc
bc5688b1973098a0729ed14b1dab03b26335b12c5834d8ebd7443d94ffbee867 3164 coq-elpi_1.14.0-2.debian.tar.xz
3988352489a97231e148a133449690f59e34c41104c2b28a90744eddf0878a08 7206 coq-elpi_1.14.0-2_source.buildinfo
Files:
7fe11ccfe60fa7617aba9f0a6047d69d 2142 ocaml optional coq-elpi_1.14.0-2.dsc
b9c287680aba43831d0dcb67e3f3eafe 3164 ocaml optional coq-elpi_1.14.0-2.debian.tar.xz
ceedbd7633dd4b3e3fa2bf5522c4fb64 7206 ocaml optional coq-elpi_1.14.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKJJRgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaUQP/j4xZeY3Udby3gWr68P/am1WHlVMMNEf
Dx3z3z6XTHnBwHWdue6LbsNJMYaRYiA5vU0wzYtP1sZYgI22ThqdzZPDxKchitrZ
IG26Z+SlTY1K3PT03dk3qYkPE3eAZUiur7rU7C2EfVimjM3BkQHBb4u1TpOdKK3A
DkVqk5ph2mxWzJaIOH9gSKe6ygg4E7jbQqQuBxZMCBkFEuHdM08uw4ZfWOdwvv73
8f9J7WXqVf+WIkwsfN/l8KO4S1Hxy+QQI8Vz0mBn9Hdyg1eBdnIyW+MIIX+mh1Uo
fP67qBy6ULQpBNTv9OAbprVAJCp+3qNv+jQKiCUmzbMMz1EG9mj0VgIsydQm+4El
iNpleKJKUZtAXQpYW5K6FFYVn4D/emMJu97EHLL0WfCTlPrDE202ILc9Gqtj51qy
uVV1P89KfYoy0TebnHcm4ZvwOOarJw389HW22AlOs2cwsHZ7CEAaztX0eyRfq606
BiazHHZjCvzzxImf/2bJAq7CHvG829DQxdiWa26rJe7PjgoVgkJ0sprJx7Xi1lSt
aXMmQPe9xTqjMj0VPSgqo9Fbr58Xc2vkBOm9jVmZ+KuXuf3mTFbO7jV+wHAXmUiD
jInlTVPoaxSFSMDGrZ1nRqOtRZxnN0QCXN1qGGRLhYY1Rds7kQiyNpqVndaT8bgi
iRmnE6cr8PUs
=ul/s
-----END PGP SIGNATURE-----