Format: 1.8
Date: Mon, 07 Sep 2026 20:25:55 +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.1
Checksums-Sha1:
 224f089ce0df597358e7c2d2cf9b1fbf62904b73 1222 coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 56d5d927a31c57fd7b136abc91fa7346640fb62e 2968 coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 84ca450a716ac25233c4ab37e624643f4eea48c7 6139 coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 aa48553f1b8df9c1304cde32c60af1a51fbe9d7c 520172 libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb
Checksums-Sha256:
 a68cc18668587176a805215a725ee8791d908b8c925e4ed4ddf1b549c29a4906 1222 coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 6f7fdfd55bd2da51b83b7febe907d35568278226d484ba7f82b46218d2e3fe26 2968 coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 7ff511f43e6963aa014b710e8d6295f6836c00f40e35ddb4cdeadadf5613b96a 6139 coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 868c3bbcb92b7ccff0baa1c67f8911ef95247728c7b46062f4c01759f8259238 520172 libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb
Files:
 df73d2372209e4f6b0c401f2fd51d175 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
 bac8cdebe3351da477e295e981dea3a5 2968 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 d047207a097b44338f2b6b4e919d628f 6139 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 4ef54ff2aa4f11a9c0617d099ace6fa5 520172 ocaml optional libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb