Accepted coq-elpi 1.14.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.14.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 14 May 2022 15:21:19 +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=LBtn+c839eFivrmdoNK5dGBTgrxto0NHUQ8AANH1kqw=; b=dimdFYXz5hnO2mywD7PJA2Ikrw QAS5WHiaTnKb5sMN51QSG9USiznjMvjjgDz0KFex/FSRpYMhnzs5ZJ3dVVMS2FI0ag34wjwAiMWuJ sOrYEre/HoksxdQkTx7A8wNJfV1DLF/+4DM0Z9addANxZ3AjSQ15y7HKhpddgE3A3snTKUApkF5iB MWyzeMyRS9uB2bXO0Awdr+azgl1E7fVRIyCWYoha60FCGEcQlCFXSSulOXDlwBTKdPPncfXEkGI1B 53xqjKv4tZJSY6jTFI7BcIK+rjJD3r1NAY+B+eLX2WNCSbLdEsPyDypPka15gDnX5D3jxjNoDT3Vd 5et6/xkg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1npta3-0006zP-Sh@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 14 May 2022 15:37:01 +0200
Source: coq-elpi
Architecture: source
Version: 1.14.0-1
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-1) unstable; urgency=medium
.
* Tighten the deps between the binary packages.
* Bump standards-version to 4.6.1.
* New upstream release.
* Adapt the workaround for re-exported symbols in d/rules.
Checksums-Sha1:
65cebe751f9a03a5ee10ee5d490db0c96be9c27c 2142 coq-elpi_1.14.0-1.dsc
42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
4605ca33d4d6a064fb7284daf97bcabb7e2b26eb 3136 coq-elpi_1.14.0-1.debian.tar.xz
91d733d0d29d6d813d2f889afa4677eb549463b3 7216 coq-elpi_1.14.0-1_source.buildinfo
Checksums-Sha256:
cefc579d9789677077745945d7311b045ae61e8d2e7f012559c2ccb40ebcddfc 2142 coq-elpi_1.14.0-1.dsc
ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
33c930669b44be90aca99f1dc940f1fda8c91f4a40e09872fce1432577e7fdea 3136 coq-elpi_1.14.0-1.debian.tar.xz
15d10b03874d6156f3d9b57e0e2e90062b2282fc6d239a046a15986aa1259633 7216 coq-elpi_1.14.0-1_source.buildinfo
Files:
11785956fe266b27aa21c0daed7107cb 2142 ocaml optional coq-elpi_1.14.0-1.dsc
755323c2d96e12728833234b92c33ebb 360407 ocaml optional coq-elpi_1.14.0.orig.tar.gz
2aab7bd93e789f3fc8f8cb780b9f91b2 3136 ocaml optional coq-elpi_1.14.0-1.debian.tar.xz
06b946f4ac88a3869dcb80a6e674ca41 7216 ocaml optional coq-elpi_1.14.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ/sVwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoLkP/2C2mUs53eo3Ux0m9+eybXVrBbEM7Gmt
tIJm8kS+LGwDcKm2XxhK9zUGhRBskg3qp9KtRWoCvzybEBGxpxc7xaiDHU3lOdg+
QU1W/53rTUHj0VpaHWn6wxPOf4K9bFsg6pCzRK3WlZSgkhd0FRBxIButd81QOnHq
U+2sfvZhC+UOduDfQwrNaC4tUFS/oDSXmzQKgLtFsADzNgpMNHE8IpXQU6IUt87q
UIMcoJ/TDwTttavt9Frr7CgRgGTLW8DrPIo8p2PS0t4hSMOx3Eq8PdvSOhRWfjr5
P5ZVOzM3sF1uG9+tHFmb4Oe3mYVUI9yVGYz0ZPr8OaaxPqrFFo11XM/iF42xseH4
ujG1wnEGUwrG8MjCfBJAJp1X/wdcRJASH6CFyg2eKFvLU1ALnhxO2KeOuO864ju1
SYjGAJKf0YrrYEaxGgK4MHYSx/rdtKAIhfuV/NNXpp1RQpI06gI6sKddRnsmVpTU
CTaib6DI5c+B/4PXS4jpJ5LX8HHMvzLa0S8ErKZ8aExgVHx12rPe09xyxxiyvc4O
tTZgDUhxyzf1qtFdH24/i2BX7HLcABspcRmthe2dDwmadf8xNt9xLDe8CRIDVKOw
0hTWRSevmrH6AiegeJvry+4WD1lBtNQIr/YK3rUWXr80Rmob+7sqiUrAHXSdqkKx
7tLzG2/IQRyy
=zzmK
-----END PGP SIGNATURE-----