Format: 1.8
Date: Thu, 02 Jul 2026 21:04:44 +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.5.0
Checksums-Sha1:
 e94daea2af6b4e99839115cef96e6137ef25aa8d 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 9318923f457ec1988cebb69d5441940a9108b48b 2280 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 468d7310735c5bf07d88e2de4a78a545640a2169 6639 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 9a9fe40f7b7cdd1c902af0329313932ec3637038 6464 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 28b189d304d48b45f5287c4b89a0cf973ecea614 550328 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 e445f6f0e047abbf7b9349bc71debbfb57f4cb4b6ff9a9da5d08395f323e0558 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 eca10e9de55ecce64fc63bba58ea1e0850464667ce04c9125d989742f43cbf66 2280 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 55cc15e85591b3898d9a3b5a5d3163b1f7ff0ae0e59e8a2377f3a7b9be9b39ed 6639 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 7e365b60893004cc742077d1630859d825d9b15ad630745686805f1dbc85a104 6464 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 7957dd337280609574a6d63ac0a7746d7ac25d9f9a228004bb82fde0caf051c2 550328 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Files:
 2fa07112722ea0ecdd20e0103f113594 1203 math optional coq-gappa_1.7.0-1+ocaml1.dsc
 5697b7315301fd9034a649f59784aaac 76391 math optional coq-gappa_1.7.0.orig.tar.bz2
 5e99d64a6c96841ddafc7888fa05d267 2280 math optional coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 81a748762f59e49a618610567d2c987c 6639 math optional coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 3be1c066ee2fe6b26c76e160a22e4405 6464 debug optional libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 ef1ca6fd81939119cf4186f764622f71 550328 math optional libcoq-gappa_1.7.0-1+ocaml1_amd64.deb