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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 20:32:04 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 20:32:04 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 790e068da2a58b4a6e3dbbd90fea95b89a1b1256 2255 coq-quickchick_1.6.4-2build2.dsc
 cdf5eca29b1bfbc210929627865ce7bf22dbe2a5 2768 coq-quickchick_1.6.4-2build2.debian.tar.xz
 6b4e3466098d357b6c54e4e180a2d5b4548553c6 7963 coq-quickchick_1.6.4-2build2_source.buildinfo
Checksums-Sha256:
 69229cd6bf0d698d921c78db2fc682192b78e8773ca4d45331fc2c66d948b617 2255 coq-quickchick_1.6.4-2build2.dsc
 3a3e7c19417a56f8915421e44e3689ea0154365d5bda60833bd9f23519d6ef69 2768 coq-quickchick_1.6.4-2build2.debian.tar.xz
 fbf6310cd14825015e73cf23b829bcc91957ce7523179ad181ff0612dd786d81 7963 coq-quickchick_1.6.4-2build2_source.buildinfo
Files:
 97c1624c6525b534ab8a95263a98541c 2255 ocaml optional coq-quickchick_1.6.4-2build2.dsc
 a9a15d0db99857bebe2650874bfe0238 2768 ocaml optional coq-quickchick_1.6.4-2build2.debian.tar.xz
 05e84a0cc55af66747f1efb9cb2efd62 7963 ocaml optional coq-quickchick_1.6.4-2build2_source.buildinfo