Format: 1.8
Date: Thu, 02 May 2024 22:12:27 +0200
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.7.0-1build1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-037.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq
Changes:
 coq-hierarchy-builder (1.7.0-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2a69f7b09a5f79e65382a66480c6ec994595b469 7402 coq-hierarchy-builder_1.7.0-1build1_riscv64.buildinfo
 aeb0d554afc763c63d0afd725ea22acbddcd71e5 288542 libcoq-hierarchy-builder_1.7.0-1build1_riscv64.deb
Checksums-Sha256:
 2a74485eefd458f014dac04f191fe6a6e05e0560490df970d26cae1f8c4273fd 7402 coq-hierarchy-builder_1.7.0-1build1_riscv64.buildinfo
 1894945fe171af0cfa31da745e4bf7b21d750c00593ccbc308cdd03274d6125b 288542 libcoq-hierarchy-builder_1.7.0-1build1_riscv64.deb
Files:
 243aa3975d6bedcd8bcab2acd9693866 7402 ocaml optional coq-hierarchy-builder_1.7.0-1build1_riscv64.buildinfo
 7e635152f91afcb108d94905a8fef6db 288542 ocaml optional libcoq-hierarchy-builder_1.7.0-1build1_riscv64.deb