[ubuntu/lunar-proposed] coq-hott 8.16-2build2 (Accepted)

[Gianfranco Costamagna]

coq-hott (8.16-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28:34 +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.16-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:34 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16-2build2
Distribution: lunar
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.16-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 75acdfc4c7f074b6231d9b7b986ed69b222fc874 2028 coq-hott_8.16-2build2.dsc
 76d00277b8a4375e7b65111a2a5b8894c9add162 2648 coq-hott_8.16-2build2.debian.tar.xz
 00021dc101db5d582e9cb739759869295a060efe 7136 coq-hott_8.16-2build2_source.buildinfo
Checksums-Sha256:
 218c847027dd560c053a697a8e14101267569ead5bfbe9ffc7b59c4687eb9f79 2028 coq-hott_8.16-2build2.dsc
 8c728952fc30b158ac95ca04af902e0d3f7a707f431f3b127cacd8211c92052a 2648 coq-hott_8.16-2build2.debian.tar.xz
 91805c0a1011d4b3f412f6641a0215831cb8a0b77a71385f8092e95e6bad082b 7136 coq-hott_8.16-2build2_source.buildinfo
Files:
 3fb05cba93cccad300b2b1157532e405 2028 ocaml optional coq-hott_8.16-2build2.dsc
 1f006b3fb4617eb640029fdb0d6af783 2648 ocaml optional coq-hott_8.16-2build2.debian.tar.xz
 11f838c588af8a8ca6ad739210b7ad9c 7136 ocaml optional coq-hott_8.16-2build2_source.buildinfo