[ubuntu/jammy-proposed] coq-hierarchy-builder 1.2.1-1build1 (Accepted)

Matthias Klose doko at ubuntu.com
Wed Jan 26 00:06:12 UTC 2022


coq-hierarchy-builder (1.2.1-1build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Wed, 26 Jan 2022 01:02:53 +0100
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.2.1-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jan 2022 01:02:53 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-1build1
Distribution: jammy
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.2.1-1build1) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 147ef1d45e99cdff20985a6f80f73c5168d0e4e0 2239 coq-hierarchy-builder_1.2.1-1build1.dsc
 4ab0098316558e8c7f823e7f618cb7a4cc8f6000 2700 coq-hierarchy-builder_1.2.1-1build1.debian.tar.xz
 b21e68c96a648660c7dfd5046e1380298b0eae19 6790 coq-hierarchy-builder_1.2.1-1build1_source.buildinfo
Checksums-Sha256:
 ea2ae12f41446a56d4fda1fe7c5714d25c587ce6a4c48d2ff0fe5e371be79864 2239 coq-hierarchy-builder_1.2.1-1build1.dsc
 b8bcdad8ce8875b795b82a9e48f1539566cfb641aaeac80c4b81491b1d4739c9 2700 coq-hierarchy-builder_1.2.1-1build1.debian.tar.xz
 e0dfa1060f2ce68e3a095af0bec81e0135f6e24e20ea5a6efe4c5ccf0cd73ef6 6790 coq-hierarchy-builder_1.2.1-1build1_source.buildinfo
Files:
 02438e34f7b80cc475fbb7d98c7967e8 2239 ocaml optional coq-hierarchy-builder_1.2.1-1build1.dsc
 1255ed241bc3bade3747f6cec32b448c 2700 ocaml optional coq-hierarchy-builder_1.2.1-1build1.debian.tar.xz
 b3f3cc4fadec66ac8da6858c781b5408 6790 ocaml optional coq-hierarchy-builder_1.2.1-1build1_source.buildinfo


More information about the jammy-changes mailing list