Accepted coq-elpi 1.14.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.14.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 01 Jun 2022 13:34:07 +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=qATPPed+JHA9yUVfyxu1SrH/Hfyq/pUs6uAePhPbfsc=; b=c5z3x3EBqjUfbvm9Xf38Y6rX4U oB/o4OCkuqu4CD41b6we8h8qQDpm3QM28TnHIaY4FBThiaSsov5eyCmPl6ClY+NETUxvt6V7ABQko 0UT+HEAsFsDqChkQbzmLSDaJfwD0v8a7INxlOlZkUH4z7Hs0zZXsXRgp665bfURKljmZVReLJn1Mw rao2f7nrZX8Y5/w1yeOxCe/R4kSh1XoymS4LUIxQKz3Cg067Tx0zRMKOP/AIWL4xH+oeyRlTELbEP KIjxT3yDFE86N+xo0Re5GcCNZhohqLTOb2JoT98FM98K5wrwTSVm9+rG7btn0go/Oaw/NnHdi7yvx PC3VVPoA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nwOUB-000Imq-6w@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 01 Jun 2022 15:13:31 +0200
Source: coq-elpi
Architecture: source
Version: 1.14.0-3
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-3) unstable; urgency=medium
.
* Re-upload because of broken ABI.
Checksums-Sha1:
8fbac9c8f5253de58bfe5c9229ad688abf5f0be7 2142 coq-elpi_1.14.0-3.dsc
791f2b6740ffe55ccc19bc186ca807a2fd8c8ab6 3172 coq-elpi_1.14.0-3.debian.tar.xz
a5c1c2d829549d98cc2473f12e6469c60547c190 7201 coq-elpi_1.14.0-3_source.buildinfo
Checksums-Sha256:
031b005d82f5211d4239df9ab4f6f223216007d0f1f62feb00beaed2e32069d3 2142 coq-elpi_1.14.0-3.dsc
9a701cf653b864d53eb93428c913b19ebe2d0eafb58133e61f73d4bd8b63dc7e 3172 coq-elpi_1.14.0-3.debian.tar.xz
5271ddb603c03234811fe7beef8113448833cf6a35deaa323a8ed2f2395d13d5 7201 coq-elpi_1.14.0-3_source.buildinfo
Files:
d7aa2c47e9be99bb021507285572cd2e 2142 ocaml optional coq-elpi_1.14.0-3.dsc
f6ab3078913ff67e84a179802b745eb5 3172 ocaml optional coq-elpi_1.14.0-3.debian.tar.xz
b7e1ef444053176917cbbb74976e1871 7201 ocaml optional coq-elpi_1.14.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZwgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjukP/RogkBZu11io5kFzP5/ytmOxseyzu5ur
hlpjYWHOumuYgjnldY4YYKjL+qerDZ2+O0WsBm73xyFQNu7kkfjKuzJYw80jz3+T
QtREQs89E9/naflj4FqZ902BkVa4cC9EfKLj6lZdgyWwMUA6goMwJB0lWcZDRuQZ
Qo7PoEJA4dCFN3NCuwbCfVFxD5Vh45y3yg8pvRmcBrQyNhLshEgcEHksRmQ8BkVx
hkewmGNl+HPoyiYYB/y8XFvfuTapwXD8wU2YHLxyQHjWs8L0xKpQahWCFD4+qv8l
fgo4V04ZrmOYdt+ZlQ2+QTu2HWlEQm7GmKBNrIgCDWUKw/JdLDgUEXE4U8J4mibb
TirEM+xLVZlPEUMqAAfV7lRwCNvKxa7TvYoMefP5iXLth+mkCRaXjkvEENqGYrxs
qaw7NZ2FvJldhEZaZuxorcGd4RVZ4shCxG+ptMDgxcGufkB8luWB99YYWwPogPJE
zy9WaXgi2qvdY+CQWVbGGXysSUEoFUREbRUmofOn8wWbFkOGp0pdNlPM9Cdfjtc3
1fYgX0/QkUjh0iYvF/Eith5napqeb76r4Inf9WzF8d7llOt1o2w5fz8+IGOwl8PT
d5zGYGcLAPX5zHCqlMeIHAD2sghIFQStCiGpBNC/ooDe/JdoOtnL3UEPD4byEEmG
AAWed8szwRbH
=vgap
-----END PGP SIGNATURE-----