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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:27:57 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:27:57 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0-1build3
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-1build3) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7e02f15c3c8586b49952d57ea1c645eca7d0eced 2024 coq-hott_9.0-1build3.dsc
 25a97f5bb97a5be594af8bda9aefb63b4fb6fade 3176 coq-hott_9.0-1build3.debian.tar.xz
 e73519d3ee95746c2b823e234825d9dc958aac36 7839 coq-hott_9.0-1build3_source.buildinfo
Checksums-Sha256:
 dad792ef4b2764745037ffc0557a67be8a77a9b503e382f8a63230b9135323d9 2024 coq-hott_9.0-1build3.dsc
 efa47c87bdd8bb9a99ba43d9e89c73f1550c649ea8feb53700a1cfb5ad45aee8 3176 coq-hott_9.0-1build3.debian.tar.xz
 ad644120d6f48df192c1a597d0f177f5f52cfbdead08b11c96cfb5057583140c 7839 coq-hott_9.0-1build3_source.buildinfo
Files:
 53f6507222b85b0a4a9bad61019b4aef 2024 ocaml optional coq-hott_9.0-1build3.dsc
 b6064015ef7704089166eb6973c1fe63 3176 ocaml optional coq-hott_9.0-1build3.debian.tar.xz
 fe2e672537dad467c29aba0e8bafdf95 7839 ocaml optional coq-hott_9.0-1build3_source.buildinfo