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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 09:43:43 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 09:43:43 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-2build3
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-2build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e35a0a6595105a809eafaa3479108674275bf47f 2255 coq-quickchick_1.6.4-2build3.dsc
 7c777cfaec06f8d1794eb024b906249d33c75324 2784 coq-quickchick_1.6.4-2build3.debian.tar.xz
 a8987bfa8d25cf554c86f21a41f97daaef45f9a2 7184 coq-quickchick_1.6.4-2build3_source.buildinfo
Checksums-Sha256:
 e04046839067398b83761f03692845c4f63c834c84a4c3f4e4359166fe1aa0df 2255 coq-quickchick_1.6.4-2build3.dsc
 25a289d584e37e86232c18c5373786e65e887059ffb9d41f8dab661b169d0d27 2784 coq-quickchick_1.6.4-2build3.debian.tar.xz
 fd541744630f31173f66c86a4449f4decbeec71b3bd307a5e8c93ea3ad8f2bb0 7184 coq-quickchick_1.6.4-2build3_source.buildinfo
Files:
 d727d16ca82464bc7c3afbd3e9881c69 2255 ocaml optional coq-quickchick_1.6.4-2build3.dsc
 00ea14397358e35f9a2a3d7f4f9059fc 2784 ocaml optional coq-quickchick_1.6.4-2build3.debian.tar.xz
 cdfa66d7df254f095cb449b55a2802b1 7184 ocaml optional coq-quickchick_1.6.4-2build3_source.buildinfo