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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:29: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-unicoq/1.6-8.16-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:29:34 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-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-unicoq (1.6-8.16-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 875c0b97c562c260c49cf22a3a0aa6ea4ece4e7a 2083 coq-unicoq_1.6-8.16-2build2.dsc
 19fd3f04cdb809032455df24034fd2630f22e491 2440 coq-unicoq_1.6-8.16-2build2.debian.tar.xz
 fa9ddf1d8c6283ae013c91ec4baf5ccc440f534a 7160 coq-unicoq_1.6-8.16-2build2_source.buildinfo
Checksums-Sha256:
 b76c0fa82ba0f3d2781f00f09215163d3034c93504abee55da78a12545895537 2083 coq-unicoq_1.6-8.16-2build2.dsc
 fe2d0849044bc8d23420abb1a01dfeeb1440f73b4dea02f6b509c328ea5f77bb 2440 coq-unicoq_1.6-8.16-2build2.debian.tar.xz
 55d99ab7d05196cf836d9aefdbe0fae7063939f3c88b36c593635156edf2d92d 7160 coq-unicoq_1.6-8.16-2build2_source.buildinfo
Files:
 e77ee1790cb4a03a5f5b52c723da683f 2083 ocaml optional coq-unicoq_1.6-8.16-2build2.dsc
 68f1067ff8d264769cee06aa144ac43d 2440 ocaml optional coq-unicoq_1.6-8.16-2build2.debian.tar.xz
 37159637c9097d81cc72c6558ba5cee9 7160 ocaml optional coq-unicoq_1.6-8.16-2build2_source.buildinfo