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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:23:33 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:23:33 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 026bab520648fc0db24f4d75e35b7f408c5eb4bc 2023 coq-hott_8.16-1build1.dsc
 6f6b5f9f812affab1eda7c62c2637a6bdb9612d3 2604 coq-hott_8.16-1build1.debian.tar.xz
 2a284ccbddebca25d0d1a3cb475c4d4416be8f9f 7869 coq-hott_8.16-1build1_source.buildinfo
Checksums-Sha256:
 2a1ceb99ec09df71536f6f0095c37ae7a431d8641c82808c8d618d182a077e9f 2023 coq-hott_8.16-1build1.dsc
 d2ec5148939370d12385df1245f344c1c1899129134bab2147fbe260f4a151a0 2604 coq-hott_8.16-1build1.debian.tar.xz
 bf0f2cd42092bf56d23c4e6e2910f49f87f2bce7080a9dbbd139094b7de65db5 7869 coq-hott_8.16-1build1_source.buildinfo
Files:
 a503141b895ea94a9694046879b004b2 2023 ocaml optional coq-hott_8.16-1build1.dsc
 16e989c81ac1639a6de9f5f86dbbba4d 2604 ocaml optional coq-hott_8.16-1build1.debian.tar.xz
 d572f8d6b1232758747e54eca2525f81 7869 ocaml optional coq-hott_8.16-1build1_source.buildinfo