[ubuntu/noble-proposed] coq-hott 8.18-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.18-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:27 +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/8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:27 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hott (8.18-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fa5cf404dac52fd805969ecf2a76791c68ece7a0 2028 coq-hott_8.18-1build2.dsc
 9773519101d865d747940d16b80e2582b6f6f6e2 2940 coq-hott_8.18-1build2.debian.tar.xz
 e2d7421be14e3223efe35ca58f9b797ca7f3978e 7796 coq-hott_8.18-1build2_source.buildinfo
Checksums-Sha256:
 719834be73a2a68fc5b92d59f13b46ed9a1a650c669ad6c21aded004266dfb73 2028 coq-hott_8.18-1build2.dsc
 343255c7497c0960cd7b9c3963042bd734a03b034dd782ce0d3a3c1403952d49 2940 coq-hott_8.18-1build2.debian.tar.xz
 b9ef636e63054f366b808fa87e146094246366b862e74b2dfd0933a4cc34a000 7796 coq-hott_8.18-1build2_source.buildinfo
Files:
 f47c9e2139795642f511c16b9cff219a 2028 ocaml optional coq-hott_8.18-1build2.dsc
 da9c15f9598d469f25e2b7a6161d0578 2940 ocaml optional coq-hott_8.18-1build2.debian.tar.xz
 0195dabd90d59b2ec06ee6fc43c6cf68 7796 ocaml optional coq-hott_8.18-1build2_source.buildinfo