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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 25 Nov 2022 12:09:54 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 12:09:54 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-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-unicoq (1.6-8.16-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 acd6909fe9b463a92a32e3fc7618e24db4100b50 2078 coq-unicoq_1.6-8.16-1build1.dsc
 ec7d970bb69d9b4ee6e2e8994906ff87745e1d32 2392 coq-unicoq_1.6-8.16-1build1.debian.tar.xz
 84e2b0c706460e286971a4ba3e9025f0c2f370d1 7893 coq-unicoq_1.6-8.16-1build1_source.buildinfo
Checksums-Sha256:
 377a8f6cb1c978f8ecd813b669b12ab6d589a089bb521b48eb24b6107437bc30 2078 coq-unicoq_1.6-8.16-1build1.dsc
 1a649cbea21dd7d53cf7724b2ad01a47c30f1b3122bf07eee8a4b930eb80c2d4 2392 coq-unicoq_1.6-8.16-1build1.debian.tar.xz
 d246208bb523f783b850ad5876162e851d9190495e43b94f97b02ba7fc05dfa4 7893 coq-unicoq_1.6-8.16-1build1_source.buildinfo
Files:
 e6c491b2ed382437999cb81b3a641a4d 2078 ocaml optional coq-unicoq_1.6-8.16-1build1.dsc
 4cd55dbf8881732896579f34d352089d 2392 ocaml optional coq-unicoq_1.6-8.16-1build1.debian.tar.xz
 9a4d257d53556e29aa2284616fab8151 7893 ocaml optional coq-unicoq_1.6-8.16-1build1_source.buildinfo