[ubuntu/oracular-proposed] coq-hierarchy-builder 1.7.0-2build1 (Accepted)

[Jeremy Bícha]

coq-hierarchy-builder (1.7.0-2build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 15:24:25 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hierarchy-builder/1.7.0-2build1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 15:24:25 -0400
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-hierarchy-builder (1.7.0-2build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 a0244182c34a908efc25969683fb9c768822fbc2 2150 coq-hierarchy-builder_1.7.0-2build1.dsc
 5c82c6cbdaa4731556d29ba377553cd8b257ee53 2912 coq-hierarchy-builder_1.7.0-2build1.debian.tar.xz
 b4cb3108208fc8cfa5e593e2ac1125051cca98d7 6851 coq-hierarchy-builder_1.7.0-2build1_source.buildinfo
Checksums-Sha256:
 c204cc4a5071a090f12108a4dedcf115cd57dd6739145c85ecf4a18c44e54312 2150 coq-hierarchy-builder_1.7.0-2build1.dsc
 f58f8193f2773d1272717d0cb1ecec677f3cadae17ee5a5cc0cc45ab13126c2f 2912 coq-hierarchy-builder_1.7.0-2build1.debian.tar.xz
 c983d28fd46d1d3b32cba9c2e7ceab5f91054a52fba2b69c8c8cecb52333fcb5 6851 coq-hierarchy-builder_1.7.0-2build1_source.buildinfo
Files:
 f5ed76c6cfda5976728404c2f83beb78 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build1.dsc
 2011d1777a06a0d6baa5048aa99671b5 2912 ocaml optional coq-hierarchy-builder_1.7.0-2build1.debian.tar.xz
 121e503d0715dbe7fc901a019a847974 6851 ocaml optional coq-hierarchy-builder_1.7.0-2build1_source.buildinfo