Format: 1.8
Date: Fri, 15 May 2026 10:36:09 +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:
 29f61b1da9b03b0ecda9d45169a50708bb8dd92d 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 7abc037d8bfba4b8514cd07c0ae52ea5ab33f853 2284 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 00c71df66cfc21f84b530821cba66895bc91610c 6578 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 809c7427d67f028af7d1ebfdd3c2e4bac4cd48f5 6476 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 6daa349bbc19c307e2c0253d104dd9b03f1ef3a3 550356 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 79581d167d113eb8918b2ba3ffa346fc8fb3933da4617b617c6cd7633daf35be 1203 coq-gappa_1.7.0-1+ocaml1.dsc
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 92c37341ee7692e51ab8cd64a3c4dd4499e18df99ad3dd7fadb4ac60e4a93100 2284 coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 d09b99b87f8116f8a0451c155af0f5540ffddf47cece1bb8e4f03f8cda965fc0 6578 coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 ac68ed887e53ecc7084a4df3e43fd7fa04bd55bd3f3ba50f80de57691c474d32 6476 libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 20068e52205ae2db08e77a8481e190b526099e909151d80be40c48cef74bd487 550356 libcoq-gappa_1.7.0-1+ocaml1_amd64.deb
Files:
 568494d58914f9382a5bee4072479d8e 1203 math optional coq-gappa_1.7.0-1+ocaml1.dsc
 5697b7315301fd9034a649f59784aaac 76391 math optional coq-gappa_1.7.0.orig.tar.bz2
 289dd9d06313fc8cfc4c3e71fdcb1028 2284 math optional coq-gappa_1.7.0-1+ocaml1.debian.tar.xz
 52cdef258b90dc6cd9038fb0d1a6d603 6578 math optional coq-gappa_1.7.0-1+ocaml1_amd64.buildinfo
 0cd2129fccb3957cef36abc248e8bd2e 6476 debug optional libcoq-gappa-dbgsym_1.7.0-1+ocaml1_amd64.deb
 025e206d17b2fd1f0cf8fc42fd20e9da 550356 math optional libcoq-gappa_1.7.0-1+ocaml1_amd64.deb