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

Matthias Klose doko at ubuntu.com
Sat Sep 7 07:05:16 UTC 2024


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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:24 +0200
Changed-By: Matthias Klose <doko 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-2build4
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:24 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build4
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-hierarchy-builder (1.7.0-2build4) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 89c03064f1cc71138fb48f6caeec0d3438ec8e6e 2150 coq-hierarchy-builder_1.7.0-2build4.dsc
 b4cdeb4ef63fd16ddf4a260e2098836a7ef9da74 3016 coq-hierarchy-builder_1.7.0-2build4.debian.tar.xz
 ee9c536a4da7a5693eec1b80298e9d5e62dc062d 5766 coq-hierarchy-builder_1.7.0-2build4_source.buildinfo
Checksums-Sha256:
 626fa667b2605781a6658c5ef885b98a323559d3b084ca1c561ecd3e8c375d54 2150 coq-hierarchy-builder_1.7.0-2build4.dsc
 8ee2e6a4ca570e6ddfa125600ef4618e887cfb0e45b4e167067a967c4d554e56 3016 coq-hierarchy-builder_1.7.0-2build4.debian.tar.xz
 f1eb3635a929f4d8b3002babd1154536669377824f55ea4403c0d00b8117cf9d 5766 coq-hierarchy-builder_1.7.0-2build4_source.buildinfo
Files:
 923b0f4767615cc98957a5a46b5a5c1b 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build4.dsc
 8e2866b28acecdb8489692d648dcc7af 3016 ocaml optional coq-hierarchy-builder_1.7.0-2build4.debian.tar.xz
 9b0058e40fee0e63bb75cb3533890098 5766 ocaml optional coq-hierarchy-builder_1.7.0-2build4_source.buildinfo


More information about the oracular-changes mailing list