[ubuntu/lunar-proposed] coq-quickchick 1.6.4-3build2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (1.6.4-3build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:33:01 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:33:01 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-3build2
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-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a3d5ceeed2371933b30f76349ac7240d8676d533 2260 coq-quickchick_1.6.4-3build2.dsc
 7e98a5c57c2843d61fed7c99598a63b3f4f148d8 2796 coq-quickchick_1.6.4-3build2.debian.tar.xz
 2d28f39ddcf7946579549f59c5440fbd4ef796fd 7228 coq-quickchick_1.6.4-3build2_source.buildinfo
Checksums-Sha256:
 4d1e91477723c3acb0cba313d8559a8c1f32d7b138cdc3051aea1a8ee8fd1524 2260 coq-quickchick_1.6.4-3build2.dsc
 4057fc0919b3132db10e46174b72a6b5c495ec0a58c844a90f93a9a72f54d980 2796 coq-quickchick_1.6.4-3build2.debian.tar.xz
 2fba764f2c339a70be3cbe772dda9b29b951d638f5d7f0559b9371ec0604fb58 7228 coq-quickchick_1.6.4-3build2_source.buildinfo
Files:
 1b83a195cdaf4d20ad0aeb31332b4b13 2260 ocaml optional coq-quickchick_1.6.4-3build2.dsc
 f227108dcf6acc8f7e5e42f294b1d323 2796 ocaml optional coq-quickchick_1.6.4-3build2.debian.tar.xz
 e52d7957ec9ad0aa69b6bb6cdcbb8a0b 7228 ocaml optional coq-quickchick_1.6.4-3build2_source.buildinfo