Format: 1.8
Date: Sat, 14 May 2022 15:37:01 +0200
Source: coq-elpi
Binary: libcoq-elpi libcoq-elpi-ocaml libcoq-elpi-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 1.14.0-1
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-027.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-elpi - Coq plugin embedding Elpi (theories)
 libcoq-elpi-ocaml - Coq plugin embedding Elpi (runtime)
 libcoq-elpi-ocaml-dev - Coq plugin embedding Elpi (devel)
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:
 2550d93894ceeac58d2b800ff72e3cde47166179 8105 coq-elpi_1.14.0-1_amd64.buildinfo
 26471c944338c0cfb997808ff051de46315685b6 280176 libcoq-elpi-ocaml-dbgsym_1.14.0-1_amd64.ddeb
 b24c5e826427f28e5163f11b4843ec1ea831b310 1694758 libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb
 db81bcf3b68d1fc3c0ef61a44aae0bd0666d5dcd 8300834 libcoq-elpi-ocaml_1.14.0-1_amd64.deb
 ee6d220cdc7e354c0640b926565408c44268ad38 507176 libcoq-elpi_1.14.0-1_amd64.deb
Checksums-Sha256:
 34608d04697f6075389408a1779e1c1691eeaca90675408cacb54082d481cdaf 8105 coq-elpi_1.14.0-1_amd64.buildinfo
 b5b7f5899f0e7daa0097e89398dac39964e782cafd77833e801dd277c6291c59 280176 libcoq-elpi-ocaml-dbgsym_1.14.0-1_amd64.ddeb
 14345467f4f05db22093941510e85c93910b00d7293b35800e3f7bcb06e54231 1694758 libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb
 e3c00cf32567953789f5535450a45a092cc439a1c22e0e016b166968d38dea4c 8300834 libcoq-elpi-ocaml_1.14.0-1_amd64.deb
 de32f04d45b7764d4c132b183af9a38f47434434d1a259449df115da54049b25 507176 libcoq-elpi_1.14.0-1_amd64.deb
Files:
 72baa00017d73e99abaa49c0adeb8217 8105 ocaml optional coq-elpi_1.14.0-1_amd64.buildinfo
 be1a8990a51a13d61ab56b3655d9c876 280176 debug optional libcoq-elpi-ocaml-dbgsym_1.14.0-1_amd64.ddeb
 1f8ddbc18c26849beb2d088e098a0801 1694758 ocaml optional libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb
 8d14bad40978a739730ed973c773a71d 8300834 ocaml optional libcoq-elpi-ocaml_1.14.0-1_amd64.deb
 061062df3abe68a17980616f77fb7471 507176 ocaml optional libcoq-elpi_1.14.0-1_amd64.deb