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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:56:30 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:56:30 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-3build1
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e5a81cacdd5f8f7369b80ceb310176db52dd4c1a 2260 coq-quickchick_1.6.4-3build1.dsc
 93b46ace71c261fe6d44370b9a67d1ced30aff61 2784 coq-quickchick_1.6.4-3build1.debian.tar.xz
 47742ced5b5ab3cebfd79a44d8344fdb86a379db 7228 coq-quickchick_1.6.4-3build1_source.buildinfo
Checksums-Sha256:
 e64eb5b18175e66facc0dffd15e8189e1ffd2b74eb042425d89115cf3bc4ac21 2260 coq-quickchick_1.6.4-3build1.dsc
 d7ee42d1f4a6147affb285a1e074a48feaea096dad52130eba6643bcce730059 2784 coq-quickchick_1.6.4-3build1.debian.tar.xz
 e7f694fa389719e38d9d026a8e5bb4fd9f52fe1588f42b3e891fa3d0e64af116 7228 coq-quickchick_1.6.4-3build1_source.buildinfo
Files:
 04bc4f0bfd113c6e18127c9cdaacd548 2260 ocaml optional coq-quickchick_1.6.4-3build1.dsc
 2513abd2506a757930f48d0514af68ed 2784 ocaml optional coq-quickchick_1.6.4-3build1.debian.tar.xz
 3aeac51960baabf718a749b65c1d0104 7228 ocaml optional coq-quickchick_1.6.4-3build1_source.buildinfo