[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