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