Format: 1.8
Date: Sat, 25 Apr 2026 08:55:31 +0200
Source: coq-gappa
Binary: libcoq-gappa libcoq-gappa-dbgsym
Architecture: source amd64
Version: 1.7.0-1+ocaml1
Distribution: unstable-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) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 6de98f49d1704b60ae985bf7de9d58f85efd8d31 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 0205350cd944257d186d6dc78a221810fcd686e7 2284 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 50dfa0f3ca9fa8c952f5015c9301b0601be4c668 6578 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 3c286dd9b305d193c883efbdce79e042fcd11563 6480 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 8729636dcf4d67968f9326c83b26f7aa5c4303fb 550416 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 eea0a7c6aa30f45ee0b781b221bcc8385a6f0419b5db937267880518890a63bc 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 9eb7c650cdea1cc81d7497c1976c3bb0150d2b58c7805c2d7a819207ea9b7022 2284 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 198b76b8b0c8fc5c22bb8e38b9abb009e0f2adaed7125fa63cf3067772511e73 6578 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 16b37f46bc39a7fe2922844ad6ac6003418f6087557fb719992012eee510398e 6480 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 c68f578b5b105ad6b2cc5edfaf7cb41876329d4b20c8a43a144f6cc86c5ce337 550416 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Files:
 1b2c4fee02ee875be91e230d714ac7fb 1203 math optional coq-gappa_1.7.0-1+ocaml1.dsc
 5697b7315301fd9034a649f59784aaac 76391 math optional coq-gappa_1.7.0.orig.tar.bz2
 ad014d7f28cfdce8095f5bfb82e12baf 2284 math optional coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 e759857006d6d5937caac936c209e131 6578 math optional coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 30b0480097bc14e679ea90cb8ed8b481 6480 debug optional libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 08900e38f2e9c4468bb2c29cabd0b1eb 550416 math optional libcoq-gappa_1.7.0-1+ocaml1_amd64.deb