Back to coq-elpi PTS page

Accepted coq-elpi 1.14.0-1 (source) into unstable



-----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-----