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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:09:45 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:09:45 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-1build1
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-1build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 75a01eae0fce2fdabb7c35f4064e4bc01f8f66f3 2028 coq-hott_8.18-1build1.dsc
 6aff4ee2be086aef47641cf71fa14a2e1d929315 2920 coq-hott_8.18-1build1.debian.tar.xz
 49ecf1876204bab0be1dc0aec26b1634c8814a20 7796 coq-hott_8.18-1build1_source.buildinfo
Checksums-Sha256:
 5014e4ab3e05ee215045afaba83d8c7f65d71638c94f83084cf2c55d97f9c482 2028 coq-hott_8.18-1build1.dsc
 13dc8e2051cdcb68e437edd41c68e21248158655fe74896a865ef6ebebb0becb 2920 coq-hott_8.18-1build1.debian.tar.xz
 05ed2f214ba52e5dad481707177e555fc89b5325ea9887299d2b937ef801d0a7 7796 coq-hott_8.18-1build1_source.buildinfo
Files:
 ee3567b5aa41cb59f137ff9d645216fc 2028 ocaml optional coq-hott_8.18-1build1.dsc
 8de1b16ac3a933f380e7b5a13acad264 2920 ocaml optional coq-hott_8.18-1build1.debian.tar.xz
 e46fb91c1833b4bc6d383b465dcbc50a 7796 ocaml optional coq-hott_8.18-1build1_source.buildinfo