[ubuntu/oracular-proposed] coq-quickchick 2.0.2-1build6 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.2-1build6) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 13:14:23 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-quickchick/2.0.2-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 13:14:23 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build6
Distribution: oracular
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-quickchick (2.0.2-1build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 58adff8c424633bfd728ea1567ac4685eb61aa27 2353 coq-quickchick_2.0.2-1build6.dsc
 1ada2082235de8523b222c0c58c215ee314e86bd 3324 coq-quickchick_2.0.2-1build6.debian.tar.xz
 68c7c5f45167adf835ec79623d578f2515ecf59b 7908 coq-quickchick_2.0.2-1build6_source.buildinfo
Checksums-Sha256:
 51355e3d6e9a9f2f279b01507fba23393544aad716a9db10b598210f3259fc3e 2353 coq-quickchick_2.0.2-1build6.dsc
 cf9560040d4310399681371f7548e30cc072283237d92c812784068ea5f42821 3324 coq-quickchick_2.0.2-1build6.debian.tar.xz
 f29624b62dc8a9d83e067c13500092d38e13d4ade8cc8610bf1c70d88cb9564e 7908 coq-quickchick_2.0.2-1build6_source.buildinfo
Files:
 19a2cbb96544c2c8dc9199f561e7e581 2353 ocaml optional coq-quickchick_2.0.2-1build6.dsc
 23d56c5fe2466326c8789285e5f9d751 3324 ocaml optional coq-quickchick_2.0.2-1build6.debian.tar.xz
 01fc162eaaa4c41c7249f771990808cc 7908 ocaml optional coq-quickchick_2.0.2-1build6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>