[ubuntu/mantic-proposed] coq-quickchick 2.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0-2build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:10:56 +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/2.0-2build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:10:56 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0-2build1
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 (2.0-2build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 9e6c2b3d1ae57f00357888c5927c202b53fb3cea 2260 coq-quickchick_2.0-2build1.dsc
 4055a0dabf6f8b3b74399ce8140b2e45e228fb5b 2964 coq-quickchick_2.0-2build1.debian.tar.xz
 9c25309ae14ee5848ef4573b12c254132a33c88b 7854 coq-quickchick_2.0-2build1_source.buildinfo
Checksums-Sha256:
 14982ce7169d001f6f1f9d80348faf13675c61e0ffd6582a9e19c81eebd74c16 2260 coq-quickchick_2.0-2build1.dsc
 4bab7ca832fc794b6737ba2df63d5ed6a859dbca5e499c70b7f3b5b319d6fd5a 2964 coq-quickchick_2.0-2build1.debian.tar.xz
 bd3f6b5b697495038ae57329d44c2f78bf9030d5963496f61f4a28bae49d21bb 7854 coq-quickchick_2.0-2build1_source.buildinfo
Files:
 4157614f27b2d54deb78d21d0e7f892d 2260 ocaml optional coq-quickchick_2.0-2build1.dsc
 10483cfd2e2f5ba66db17a393d26e13a 2964 ocaml optional coq-quickchick_2.0-2build1.debian.tar.xz
 ea12dbd7c77a3f8264de04bc12fdc504 7854 ocaml optional coq-quickchick_2.0-2build1_source.buildinfo