Format: 1.8
Date: Fri, 23 Oct 2026 19:35:27 +0200
Source: coq-hammer
Binary: libcoq-hammer
Architecture: source amd64
Version: 1.3.3+9.2-2+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-hammer - automated reasoning tool for Coq
Changes:
 coq-hammer (1.3.3+9.2-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 44cf8f3c442b56637ed844e0a331bc3f96da1ed9 1222 coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 4e0a198374a75b45f6f3b936dd70617ad1089e64 2968 coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 606cfd3b59912cec166856359cfaf559de2d95fd 6233 coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 6ba99f900ec36441050a22f3e9772def3c6c0111 518104 libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb
Checksums-Sha256:
 e8a84be07ecc8dc3834c3b36d6de0233d358a9151715ce4c5e7e5f285519a22f 1222 coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 c06e54b8fa45ce45f1048bef52aaff743782c45b5753edf74dbcbe7a3897ae7d 2968 coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 af66019828561992686ea9648a2e8069c04dfd15bac422faa0547c654077cb51 6233 coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 583bd090c67b09e4134ade49843f01bc785369dc350e79d81c41e2f053e7b1b9 518104 libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb
Files:
 2b6a4a4e55361e4436dd4f28c0b6cc33 1222 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 a8ac52389ab89258d6bffe68d7093de1 178234 ocaml optional coq-hammer_1.3.3+9.2.orig.tar.gz
 ae505248f18d6b13fe5c778548e5f30a 2968 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 aab1c927b28f5b74b7d48e454e7ebd15 6233 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 f11794297cdab6e2c143126b5485bcde 518104 ocaml optional libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb