[ubuntu/noble-proposed] coq-hott 8.18-3build4 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.18-3build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:14:22 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-hott/8.18-3build4
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:14:22 +0200
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-3build4
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hott (8.18-3build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 75f3a6b239c9a9fb981f9145eccc07f6e16076b8 2107 coq-hott_8.18-3build4.dsc
 d0e308d813e7a40f79f67a7d152a7d0503efe29c 3128 coq-hott_8.18-3build4.debian.tar.xz
 3cee6bd0a7fef95c7583ea2aba0666b79ad17a1e 7816 coq-hott_8.18-3build4_source.buildinfo
Checksums-Sha256:
 7133791050af385f132b2f082050e5f7a4eed9d4f537a21a5b6a17f90b95ac9e 2107 coq-hott_8.18-3build4.dsc
 819d67736ad5f506550e4e560fd583df93d9a5310bc19256332a9c203a8f9aee 3128 coq-hott_8.18-3build4.debian.tar.xz
 dfb0b1b9b5d71d241ebed4192d35b1769e335fb7459e545f736a9b5bf6d8c76b 7816 coq-hott_8.18-3build4_source.buildinfo
Files:
 47a42996236cc6de0488eff4e8e9ce50 2107 ocaml optional coq-hott_8.18-3build4.dsc
 b526eb6583d72326db5f3f74509a03ca 3128 ocaml optional coq-hott_8.18-3build4.debian.tar.xz
 85f65906867d0fc0848e64b249333f00 7816 ocaml optional coq-hott_8.18-3build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>