Format: 1.8
Date: Sat, 25 Apr 2026 04:10:50 +0200
Source: coq-gappa
Binary: libcoq-gappa libcoq-gappa-dbgsym
Architecture: source amd64
Version: 1.7.0-1+ocaml1
Distribution: trixie-backports-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-gappa - Coq tactic to use Gappa for floating-point goals
Changes:
 coq-gappa (1.7.0-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 043e6f4c4365468c18347ea77365e44aa862a109 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 31805af95b11f5b715073950bb2bb34853b977e6 2292 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 3a1453e096c2408098a83dc017276865657ab17c 6723 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 b29f72161f41e0e3178c081c9dd77d8ec4c6d7f3 6492 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 4bf39eafa8deae75eb9c37d15df970e4287a242a 550428 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 2f3e039a34b59b7c81b16a4dbe44b1bffc9a2c1af451d54ad013d2708c31b3c4 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 cb7e1d47c5d47581bf354bfda1c9a2ca44fbdda4cac2ff0a6bc558fb75d57022 2292 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 4996c3a0f1efddebf22519698dba2cf0af66e3e504ee47ed796f80fb5df18de2 6723 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 f317129d57c91b2a3b620311664c0627152b362994e3932dd6f31369ce5d2a96 6492 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 5e3667dfd2bb3afe73eb3e56648eef583902e000eabf7db0d4afef33e2d31179 550428 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Files:
 25385b8721bd08a5feec18797da56f5c 1203 math optional coq-gappa_1.7.0-1+ocaml1.dsc
 5697b7315301fd9034a649f59784aaac 76391 math optional coq-gappa_1.7.0.orig.tar.bz2
 7fe25851884fb213d56d4b915e4e9f46 2292 math optional coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 27a5d5ac92925f441300fa64986b705f 6723 math optional coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 77f9bce1802234a035ac7fcdc039c730 6492 debug optional libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 b836386c940032d153198ca22a04835c 550428 math optional libcoq-gappa_1.7.0-1+ocaml1_amd64.deb