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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00: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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:33 +0100
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 08f20cde098f393449e056e11bb41bfb1ac8eabd 2028 coq-hott_8.16-2build1.dsc
 c8e3d111aa23c92febb2af66ee926e3198f90001 2640 coq-hott_8.16-2build1.debian.tar.xz
 fdecca02f4002b99a2e427b64fab368a12418820 7092 coq-hott_8.16-2build1_source.buildinfo
Checksums-Sha256:
 3cb4791241517a7aa98085b8a5fe13707c53880b16728ae1e523382c813dca44 2028 coq-hott_8.16-2build1.dsc
 f96a0f452ac67cc94bd83e266612a455c7908224c3ee7dedadd8529ae1dde1e5 2640 coq-hott_8.16-2build1.debian.tar.xz
 ce5e29ced1a76251cc56f676f37450fe05a2f74c9f1483d0fa202fb039240ce6 7092 coq-hott_8.16-2build1_source.buildinfo
Files:
 428d7c91ed3efb83983d3e2caeb13acb 2028 ocaml optional coq-hott_8.16-2build1.dsc
 52bb35b08d0e88726567656836593f2f 2640 ocaml optional coq-hott_8.16-2build1.debian.tar.xz
 cf1f6a85b01e18e18850ce14ec5c4291 7092 ocaml optional coq-hott_8.16-2build1_source.buildinfo