[ubuntu/mantic-proposed] coq-quickchick 1.6.4-3build4 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (1.6.4-3build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:46:01 +0200
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-3build4
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:46:01 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.4-3build4
Distribution: mantic
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-3build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7b4cd0871e99b19f2f351b874c7b050bca573bb7 2260 coq-quickchick_1.6.4-3build4.dsc
 a5b567bc52a4aab881c64fe06c5c948865aa1c8c 2836 coq-quickchick_1.6.4-3build4.debian.tar.xz
 1bba1763df005fdc8906373f63d79103ab7711ba 7283 coq-quickchick_1.6.4-3build4_source.buildinfo
Checksums-Sha256:
 fcd61387c4e98fede43a747cb55778e7915418b1b51e567c314552bbd7d2eae4 2260 coq-quickchick_1.6.4-3build4.dsc
 36fec3da1a93fdc7a7d6b9752462a4b9a605b5d678b5baf2556c0c1f841f48e4 2836 coq-quickchick_1.6.4-3build4.debian.tar.xz
 4cd414784953f2214209b374a19f19a2837c9df77b6d7d52f15db2ee4d37616f 7283 coq-quickchick_1.6.4-3build4_source.buildinfo
Files:
 36b6568de75a9230a400a5440a04ae96 2260 ocaml optional coq-quickchick_1.6.4-3build4.dsc
 8bc55974bdadc6fa53a4b8aa4c952a21 2836 ocaml optional coq-quickchick_1.6.4-3build4.debian.tar.xz
 f5dd7473249f976e8c642829134b10f6 7283 ocaml optional coq-quickchick_1.6.4-3build4_source.buildinfo