[ubuntu/questing-proposed] coq-hott 9.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hott (9.0-1build2) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:27:52 +0200
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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:27:52 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0-1build2
Distribution: questing
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-1build2) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fa52e81c8ade3aa13b4b91507ef8fb89cf1aaac0 2024 coq-hott_9.0-1build2.dsc
 29c2c01ffb246f60bdd471bdc2b237c410faf2fc 3160 coq-hott_9.0-1build2.debian.tar.xz
 a4582a7301c2e38c37ad91d4f476a9afbbcccae5 6846 coq-hott_9.0-1build2_source.buildinfo
Checksums-Sha256:
 bb7b89e9250ef88f3e42d18763aa05e2a9dfd7500de74633881bccfbc7fcbf12 2024 coq-hott_9.0-1build2.dsc
 56b63ddd81db85730464b6edd935fc7cc1068f44931e8c065d513c77b2b0ed06 3160 coq-hott_9.0-1build2.debian.tar.xz
 58c49b7e63ed880b4a0f249b62c8667d10b14b292218de35b1ddccc9cff3a50e 6846 coq-hott_9.0-1build2_source.buildinfo
Files:
 1cc30505eb43713a4080d9d37ab43bb5 2024 ocaml optional coq-hott_9.0-1build2.dsc
 438c94d45ffa00b83c3cb4015f5976de 3160 ocaml optional coq-hott_9.0-1build2.debian.tar.xz
 760fd2784924bd48ac4a69c1ba314ee2 6846 ocaml optional coq-hott_9.0-1build2_source.buildinfo