[ubuntu/mantic-proposed] coq-unicoq 1.6-8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:59 +0200
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.17-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:59 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.17-1build1
Distribution: mantic
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.17-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8c1677d94cf9ec71f5020bd3ee8156d2f6dc17ae 2083 coq-unicoq_1.6-8.17-1build1.dsc
 01d4e213bb25ea60e968aca4e2205fee3d1a8bd5 2556 coq-unicoq_1.6-8.17-1build1.debian.tar.xz
 77216b3d07df0c3e0dfa792e81c97c13355d8a2b 7794 coq-unicoq_1.6-8.17-1build1_source.buildinfo
Checksums-Sha256:
 0dc81eb289c7ef6e5c2001488ceb55610f5e6593eb5009965981e05b8d4e976c 2083 coq-unicoq_1.6-8.17-1build1.dsc
 9dc569e73b3742492f2d5eb09e72de9162de543e3d297360ac509d39dd816060 2556 coq-unicoq_1.6-8.17-1build1.debian.tar.xz
 072a080b85666110949dca214df107127a970b38f45ef3c81cac00f9ce15c87e 7794 coq-unicoq_1.6-8.17-1build1_source.buildinfo
Files:
 83c0b24e2e0c2fd0448c3994eb688ad9 2083 ocaml optional coq-unicoq_1.6-8.17-1build1.dsc
 c204789011de66d45a517fb096835505 2556 ocaml optional coq-unicoq_1.6-8.17-1build1.debian.tar.xz
 b7aa7c3c0cc0aa3bd9e5d611912c7a28 7794 ocaml optional coq-unicoq_1.6-8.17-1build1_source.buildinfo