Format: 1.8
Date: Tue, 11 Aug 2026 11:26:08 +0200
Source: coq-hammer
Binary: libcoq-hammer
Architecture: source amd64
Version: 1.3.3+9.2-2+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 0f2cd444f2f6f7cbe530d01a98ac9d3bcc0d3493 1222 coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 fd2cabc15501834ba36dce0cb98811e930442af0 2980 coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 e87f1b515cfd130024bbdababccd136324297efa 6412 coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 a7b3ed199913468a78ccf5dda61b6f7b4343e7a5 513848 libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb
Checksums-Sha256:
 754139c693e1c9655e9ade1a9bb2dfda890326c437af67155e129736bfb4cb25 1222 coq-hammer_1.3.3+9.2-2+ocaml1.dsc
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 c5c236228abe5273adbcb9d27f35bc2669ee821eb7fa3adda667b1a7f64ec2dc 2980 coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 0ede0b980009ffd7b0b79234d03f4f26b40970ea0ee7069146d09edd92c9a0eb 6412 coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 ed223c1a986a043aeadcf7ae501c8d863c5e5ca8e9f2fdd2cb26e7e9193b2e60 513848 libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb
Files:
 357aafe03bb6b9ad98e9e9a7b1f9f201 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
 7d1ed50f420f20b6549c9873507f31c3 2980 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz
 fae441ee3203fa073b7e42136a480ffb 6412 ocaml optional coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo
 82a8178060342d492d8f967dec301e45 513848 ocaml optional libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb