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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:10 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hott/9.0-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:10 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0-1build4
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hott (9.0-1build4) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b88fa954ab56d0b4954ed52bffaa364c43cec7ab 2024 coq-hott_9.0-1build4.dsc
 e5584e374d3e5944c27718ea07c88eab5a15ed52 3192 coq-hott_9.0-1build4.debian.tar.xz
 7731fdce96cff77107bfde1434a3fee95eae7de7 7843 coq-hott_9.0-1build4_source.buildinfo
Checksums-Sha256:
 be0487ce4e0f04167f6a38dd88a1695496ae2e82a31cd0d2457f6a583773eec1 2024 coq-hott_9.0-1build4.dsc
 e8dae6b53273cff116bf3898abdbd56911182d1f2dbf0e6cf18865eb48b4e1cd 3192 coq-hott_9.0-1build4.debian.tar.xz
 5486bef37ec50ecf39500890dbcf8ed6eec501ffafeeb0aadca5488e297cfba9 7843 coq-hott_9.0-1build4_source.buildinfo
Files:
 e5e243ac2f6138e8f143c0e0c7163907 2024 ocaml optional coq-hott_9.0-1build4.dsc
 49bbc15ebd82953d99d0ada17dfa5152 3192 ocaml optional coq-hott_9.0-1build4.debian.tar.xz
 cde80e293c3be5f6e57cf11a7ae33ecb 7843 ocaml optional coq-hott_9.0-1build4_source.buildinfo