[ubuntu/resolute-proposed] coq-hott 9.0-1build5 (Accepted)

[Sebastien Bacher]

coq-hott (9.0-1build5) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:21 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hott/9.0-1build5
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:21 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0-1build5
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-hott (9.0-1build5) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 10e3d4575d1ffe8681e19713eef8381d69c509be 2024 coq-hott_9.0-1build5.dsc
 4862cba97bb7a9bea5a1d31665eb470f73b7e16a 3232 coq-hott_9.0-1build5.debian.tar.xz
 c864bc99de196e9e552c95447a58919618c1089e 8222 coq-hott_9.0-1build5_source.buildinfo
Checksums-Sha256:
 3f56786efc5d6b3ad736d8442f53c6a3e05435ba424ee5099854447b5d2fbd55 2024 coq-hott_9.0-1build5.dsc
 36f65b3f32d06d4cc1e393156277093d6d93307cd36dce811218dc550e72db06 3232 coq-hott_9.0-1build5.debian.tar.xz
 fc1b0fb99648d284b5c00131ad3c8a14d3b5b24a8b5e869d5ca5cc78edef52ee 8222 coq-hott_9.0-1build5_source.buildinfo
Files:
 1e808ee1446be81790b8090119cb92a2 2024 ocaml optional coq-hott_9.0-1build5.dsc
 69e3e8ec6371aabac9a08a1a4382680f 3232 ocaml optional coq-hott_9.0-1build5.debian.tar.xz
 43b851540f36535a231d3a77b003d72c 8222 ocaml optional coq-hott_9.0-1build5_source.buildinfo