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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45:01 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:01 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16-1build3
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-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5680bf9510fc74feb9a70f9fdc9210411786e7a4 2023 coq-hott_8.16-1build3.dsc
 899d06a05c0007612d3cb94442d89dfaac38823f 2628 coq-hott_8.16-1build3.debian.tar.xz
 2b82ccfa1e4f8119538c47229acf9cf3ec163bac 7871 coq-hott_8.16-1build3_source.buildinfo
Checksums-Sha256:
 90ca5dcd5324c438c70e64ddb3c011d62b9d3acbc9b7e112b7e6fdcadf888ae9 2023 coq-hott_8.16-1build3.dsc
 5d95a8093835d11a3dce184782f257155e8d35f7ca1e8cc25dcdb6730875f01e 2628 coq-hott_8.16-1build3.debian.tar.xz
 83eeb7ee92ce54d4efe8469c83378e2cc81b7ad72f6f91b2bd848848d7049859 7871 coq-hott_8.16-1build3_source.buildinfo
Files:
 3d9b0312e4e9d8b6cae9e384b914f7ae 2023 ocaml optional coq-hott_8.16-1build3.dsc
 d8e061cd420a4951d6cc61ea42319c2f 2628 ocaml optional coq-hott_8.16-1build3.debian.tar.xz
 2e1202d3c80606de73c3cde955fe5863 7871 ocaml optional coq-hott_8.16-1build3_source.buildinfo