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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 17 Feb 2023 08:10:16 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Fri, 17 Feb 2023 08:10:16 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-3build3
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-3build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 59e26d444de04c6d9c60bd086214d8589050f9fb 2260 coq-quickchick_1.6.4-3build3.dsc
 24144ba7317ecbfa6df6e263bfb3103fabc3d4cf 2812 coq-quickchick_1.6.4-3build3.debian.tar.xz
 d19ff6a43fa23b13927ff4d668ef9e982c034a9b 7228 coq-quickchick_1.6.4-3build3_source.buildinfo
Checksums-Sha256:
 f92f8fc419e0869a3fa26137b22102c1cbe7dfdc7cc6f7fbf4aee480a098cb19 2260 coq-quickchick_1.6.4-3build3.dsc
 3fa74b9573d908e7c97a3b949bbf6936a5a545004113f09355cd24e13a97f10b 2812 coq-quickchick_1.6.4-3build3.debian.tar.xz
 a3ae0cb9717f382ef7ff7699c975712968b7ddbca48e5613cf2fcf1494b96ad1 7228 coq-quickchick_1.6.4-3build3_source.buildinfo
Files:
 48fe567c7590d5142908ea80d4d7d591 2260 ocaml optional coq-quickchick_1.6.4-3build3.dsc
 0526789ab9f76e5868f6855fd46c8d2f 2812 ocaml optional coq-quickchick_1.6.4-3build3.debian.tar.xz
 2419ddbbfca7ceb1c81bdd2ff1bd8950 7228 ocaml optional coq-quickchick_1.6.4-3build3_source.buildinfo