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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:11:56 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:11:56 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7cd67275f9d42b76c7bdf0fafcb16b980f9dfc6d 2023 coq-hott_8.16-1build2.dsc
 7b26d1780b71ff79460e1e6fe606fa9f1bdc9166 2612 coq-hott_8.16-1build2.debian.tar.xz
 aee802b5390f2bf0fccc9b755a12f53ac4b337f7 7869 coq-hott_8.16-1build2_source.buildinfo
Checksums-Sha256:
 be099bc1d2fff7351439dcaec038eab99343004541e92b8cbf4262e033431bae 2023 coq-hott_8.16-1build2.dsc
 31a4fc596821ca65088d43a00606ca8dd730a5bb948eebdd494de8550df4db95 2612 coq-hott_8.16-1build2.debian.tar.xz
 ea6af50a8b9d5b71f6687c25d5076f8a2d1fea8da23212b4d90e98c9dda18d85 7869 coq-hott_8.16-1build2_source.buildinfo
Files:
 1bf7053f99859760b6f522d49de66fa3 2023 ocaml optional coq-hott_8.16-1build2.dsc
 72808505ed76a3cbca4b54874f5441b8 2612 ocaml optional coq-hott_8.16-1build2.debian.tar.xz
 c6a0b214864795059a6731dfcfc5dd8e 7869 ocaml optional coq-hott_8.16-1build2_source.buildinfo