[ubuntu/lunar-proposed] coq-quickchick 1.6.4-2build1 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (1.6.4-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:15:05 +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-quickchick/1.6.4-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:15:05 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-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-quickchick (1.6.4-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ef0fb099522b299cb6b1a2132d8ff516cc5554b8 2255 coq-quickchick_1.6.4-2build1.dsc
 f1da1a13793c7e8e3db8ec5a8b9d5ea32526517c 2752 coq-quickchick_1.6.4-2build1.debian.tar.xz
 2e2cc241a6d3438b041bc8be0924dbca1e20c2d6 7961 coq-quickchick_1.6.4-2build1_source.buildinfo
Checksums-Sha256:
 02f5c31476ea04ab1436abe26056b047b959ec5700c9127ef956c52813b731d0 2255 coq-quickchick_1.6.4-2build1.dsc
 842ba46bd700ac2a736c06ae0b32d52ea2a12506fb3963183b7d218c99b93924 2752 coq-quickchick_1.6.4-2build1.debian.tar.xz
 6d03c0826880112003f72534c9c50ca6ee829569e197fbd2ff9a7d19536826c5 7961 coq-quickchick_1.6.4-2build1_source.buildinfo
Files:
 a5a8b716a30b492e3a703f1fd7a93c53 2255 ocaml optional coq-quickchick_1.6.4-2build1.dsc
 bf14f058327600a5f71a5093f36a0345 2752 ocaml optional coq-quickchick_1.6.4-2build1.debian.tar.xz
 d4d54117993ad9389dd94662bef511f1 7961 ocaml optional coq-quickchick_1.6.4-2build1_source.buildinfo