Format: 1.8
Date: Sun, 31 Mar 2024 17:53:53 +0000
Source: coq-gappa
Binary: libcoq-gappa
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.5.4-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-005.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-gappa - Coq tactic to use Gappa for floating-point goals
Changes:
 coq-gappa (1.5.4-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 de422332e6cbb7319bbc0314d25bcbd345413179 7380 coq-gappa_1.5.4-1build2_ppc64el.buildinfo
 a2f9e934c4ca5ec20dbbd5ffe4f78dba894e1ca2 6748 libcoq-gappa-dbgsym_1.5.4-1build2_ppc64el.ddeb
 e316dc6558c2869d5000b15b1d0d5fe2ecc0ec54 576392 libcoq-gappa_1.5.4-1build2_ppc64el.deb
Checksums-Sha256:
 c7c0273696697cc6eb065975ce7bd741c67ad9f745390976cfbc160acbe676a8 7380 coq-gappa_1.5.4-1build2_ppc64el.buildinfo
 613b3812a252ecf38a5b247f17733bc37963af53e0337d966dbac7f275b912f4 6748 libcoq-gappa-dbgsym_1.5.4-1build2_ppc64el.ddeb
 aa869e91033009f3862ce72063ce2f8ba63e5aa61c0a100fb0e67217dfb57f4e 576392 libcoq-gappa_1.5.4-1build2_ppc64el.deb
Files:
 038dceb6df6c09fa8707ef69c495c3b4 7380 math optional coq-gappa_1.5.4-1build2_ppc64el.buildinfo
 5a2ea1131704a2af31b26456c9f97eee 6748 debug optional libcoq-gappa-dbgsym_1.5.4-1build2_ppc64el.ddeb
 7bc71a847fe7c9bf41b9703b63098a5c 576392 math optional libcoq-gappa_1.5.4-1build2_ppc64el.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>