Format: 1.8
Date: Sun, 31 Mar 2024 17:53:25 +0000
Source: coq-elpi
Binary: libcoq-elpi
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.19.3-2build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-020.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-elpi - Coq plugin embedding Elpi
Changes:
 coq-elpi (1.19.3-2build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 cc1757b88cda6bf525b0c3a863f00f7dd7a83f1e 7762 coq-elpi_1.19.3-2build3_ppc64el.buildinfo
 f9cc1f0e6b946521b3832d7e48067e2b9f0d73e9 92824 libcoq-elpi-dbgsym_1.19.3-2build3_ppc64el.ddeb
 99e6b9da87493142b7e9495e245f00007339199d 3242580 libcoq-elpi_1.19.3-2build3_ppc64el.deb
Checksums-Sha256:
 13ba453ea295c3d6641e694d3e0ac24229c25b2dfc750f0d37b29f84f05745da 7762 coq-elpi_1.19.3-2build3_ppc64el.buildinfo
 29195287575dc04232f42f6d651a58b38047e107c9e38951b403aaf3ccd03972 92824 libcoq-elpi-dbgsym_1.19.3-2build3_ppc64el.ddeb
 b1340b182136043591102cb0a97ebf71e9122d2d2e7d568cc797e54d014f5c42 3242580 libcoq-elpi_1.19.3-2build3_ppc64el.deb
Files:
 187f82e82833da3c65f8fc0b6ca8b477 7762 ocaml optional coq-elpi_1.19.3-2build3_ppc64el.buildinfo
 d6a659dce38f9d58497c9e6337e9c767 92824 debug optional libcoq-elpi-dbgsym_1.19.3-2build3_ppc64el.ddeb
 775ea811a51aefe5be39fb11629efd26 3242580 ocaml optional libcoq-elpi_1.19.3-2build3_ppc64el.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>