[ubuntu/plucky-proposed] coq-hott 9.0-1build1 (Accepted)

[Matthias Klose]

coq-hott (9.0-1build1) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:09 +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-hott/9.0-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:09 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-hott (9.0-1build1) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 9ea316a9da95345f7adf2b1a5139c0c2ef7d32f9 2024 coq-hott_9.0-1build1.dsc
 b04afa7662ff7ef7eacab014c04b9f7d10063e40 3088 coq-hott_9.0-1build1.debian.tar.xz
 791a33a9c4d3f915002bd627a732600b02f2a1af 3811 coq-hott_9.0-1build1_source.buildinfo
Checksums-Sha256:
 22cfcf987f01cfc322935c2cc5f5d01577e58aaef9d292393f38b366ed9d810b 2024 coq-hott_9.0-1build1.dsc
 a98acee043b95f148413233114011ad2ef090b4b4ce140be512876fb22e0d129 3088 coq-hott_9.0-1build1.debian.tar.xz
 d8537f993d9fc3e1ed5e2b15f649f68651c6b7cc9e3af7315c92a72657597c46 3811 coq-hott_9.0-1build1_source.buildinfo
Files:
 ab55d1926a27951ae7b9bb551f250fb9 2024 ocaml optional coq-hott_9.0-1build1.dsc
 65c438e0bc671e73464419500f5078a8 3088 ocaml optional coq-hott_9.0-1build1.debian.tar.xz
 e49f11029642305ec88ceb2c599bb3c9 3811 ocaml optional coq-hott_9.0-1build1_source.buildinfo