Format: 1.8
Date: Tue, 06 Jan 2026 08:26:12 +0100
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: source amd64
Version: 1.8.1-1+ocaml1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq
Changes:
 coq-hierarchy-builder (1.8.1-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 01e2b348a48e8ac384bd2c7f8afe22e01cf4eb8b 1271 coq-hierarchy-builder_1.8.1-1+ocaml1.dsc
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 a0fd8b9e6af8ca202aae7cd6fea85d902ccf68b5 2948 coq-hierarchy-builder_1.8.1-1+ocaml1.debian.tar.xz
 778ca9dcd34783dca24218d94c30f05cc87cd338 6812 coq-hierarchy-builder_1.8.1-1+ocaml1_amd64.buildinfo
 fa5d684b3125dde9dd660f967158276c3f33ef66 550804 libcoq-hierarchy-builder_1.8.1-1+ocaml1_amd64.deb
Checksums-Sha256:
 e733fa6a1795fcb35356ae4e772d189b59fecdaa5f5524457f96a22262603f30 1271 coq-hierarchy-builder_1.8.1-1+ocaml1.dsc
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 6165bcb0ed730e3e7f6a465a5900f9593341bff27fab7912910bec72fd3408fd 2948 coq-hierarchy-builder_1.8.1-1+ocaml1.debian.tar.xz
 3e20f21fc1b53af22a4faf338f86a48276b4db1e04439eca6c54be1df9a1b841 6812 coq-hierarchy-builder_1.8.1-1+ocaml1_amd64.buildinfo
 37cfdec3cd5361f2d1db3c2ff2e20016b407275e54883e40657bcf83550b3eee 550804 libcoq-hierarchy-builder_1.8.1-1+ocaml1_amd64.deb
Files:
 dc1dc3cb12b8f1434549b55e9d65995b 1271 ocaml optional coq-hierarchy-builder_1.8.1-1+ocaml1.dsc
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 ocaml optional coq-hierarchy-builder_1.8.1.orig.tar.gz
 085faf9b1d0cc1275a25903f6a762d94 2948 ocaml optional coq-hierarchy-builder_1.8.1-1+ocaml1.debian.tar.xz
 520dcae39cd1aea61518162907ac6860 6812 ocaml optional coq-hierarchy-builder_1.8.1-1+ocaml1_amd64.buildinfo
 e40ba5d9adbc48285074173f8f0bf961 550804 ocaml optional libcoq-hierarchy-builder_1.8.1-1+ocaml1_amd64.deb