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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45:59 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:59 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.16-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 9baf8d5e8f5bcae76765d1e61bf4da8308fb8d1a 2078 coq-unicoq_1.6-8.16-1build2.dsc
 bcecbe8b8f1881270617aa273e09b1263a3c02c5 2412 coq-unicoq_1.6-8.16-1build2.debian.tar.xz
 c7fd923ea3d74209ae2781c62c51c91e316951be 7895 coq-unicoq_1.6-8.16-1build2_source.buildinfo
Checksums-Sha256:
 860cd7ad2e790bead0193aa353bdba5327960fc3f45b8aec3bb29261991e9a94 2078 coq-unicoq_1.6-8.16-1build2.dsc
 d34a510fffb231d40adcb6ea7efdc25b774cace33110439da3550ed5bc226e65 2412 coq-unicoq_1.6-8.16-1build2.debian.tar.xz
 bc42012dfbbeef7817bf35a039f1dee6e69a48ecda7477fd7bb77b0ca55fafb3 7895 coq-unicoq_1.6-8.16-1build2_source.buildinfo
Files:
 1eeca82a28dcb1a04f979c3ae1e92651 2078 ocaml optional coq-unicoq_1.6-8.16-1build2.dsc
 d30620d4718c665b7c0578f6e526cbb8 2412 ocaml optional coq-unicoq_1.6-8.16-1build2.debian.tar.xz
 d4345eb55f224921bcaa47019ad8b8bc 7895 ocaml optional coq-unicoq_1.6-8.16-1build2_source.buildinfo