Format: 1.8
Date: Wed, 11 Nov 2026 14:47:59 +0100
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: source amd64
Version: 1.10.3-3+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-hierarchy-builder - build hierarchies of algebraic structures in Coq
Changes:
 coq-hierarchy-builder (1.10.3-3+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 4dacaaf165b92a5172d4b135edfed3256225032f 1285 coq-hierarchy-builder_1.10.3-3+ocaml1.dsc
 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 bc11001d2899ba8ed11f933ad2c6ea7f1ad9e52f 3156 coq-hierarchy-builder_1.10.3-3+ocaml1.debian.tar.xz
 5af2dc1b5156f7b22860085f79ec0a579ac28c2e 6656 coq-hierarchy-builder_1.10.3-3+ocaml1_amd64.buildinfo
 ea3fad8e30686b46787bf6c894b87b2205ffc6a5 834772 libcoq-hierarchy-builder_1.10.3-3+ocaml1_amd64.deb
Checksums-Sha256:
 b21ddcf3a307bc31be54f8521ffe8daf7521500aa1a9c8c534f38d5813f5257e 1285 coq-hierarchy-builder_1.10.3-3+ocaml1.dsc
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 87b381b40dad2fd6a862b6607c08a1e1b495f79ffeb5298d28d4f7057e3edaa6 3156 coq-hierarchy-builder_1.10.3-3+ocaml1.debian.tar.xz
 a915e586c6aab78a1a993e8b2ee132641ad06799212e37eac5201ef71cb164a6 6656 coq-hierarchy-builder_1.10.3-3+ocaml1_amd64.buildinfo
 6f9e87d41b861ee574c234cae3e374bb6f3338b0ac5da7b9a53a463d8bf8cc6a 834772 libcoq-hierarchy-builder_1.10.3-3+ocaml1_amd64.deb
Files:
 c0041be1d40e407411e615dfd947306f 1285 ocaml optional coq-hierarchy-builder_1.10.3-3+ocaml1.dsc
 d34079e82bea60c8ec3b1638629cbc88 623811 ocaml optional coq-hierarchy-builder_1.10.3.orig.tar.gz
 ee8e3c536988f30d2809bc305d65dc01 3156 ocaml optional coq-hierarchy-builder_1.10.3-3+ocaml1.debian.tar.xz
 f4a5628d575eb45ffbca76e773cf9311 6656 ocaml optional coq-hierarchy-builder_1.10.3-3+ocaml1_amd64.buildinfo
 becd90ca64301c0361f0c853ae94c55f 834772 ocaml optional libcoq-hierarchy-builder_1.10.3-3+ocaml1_amd64.deb