[ubuntu/questing-proposed] coq-quickchick 2.1.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.1.0-1build3) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:36:54 +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.1.0-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:36:54 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build3
Distribution: questing
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.1.0-1build3) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 93f4ec68c80f494733d119f2d5a18ac163247b65 2274 coq-quickchick_2.1.0-1build3.dsc
 ac96ac042c03f55a1f471d4cba4ac98f1b8192ce 3044 coq-quickchick_2.1.0-1build3.debian.tar.xz
 1f8187cd10e15668f3497c30ac0df0d92766f601 7344 coq-quickchick_2.1.0-1build3_source.buildinfo
Checksums-Sha256:
 580198374c81255980355b980f8e99b747068ddb6879b2ad09e2444583ed5042 2274 coq-quickchick_2.1.0-1build3.dsc
 96ae7bb7a60fec6eec3dafbc3b270793426e1d2b78e150dadc783c5a0924d3da 3044 coq-quickchick_2.1.0-1build3.debian.tar.xz
 b26e2b372d7f71e1bcc2f922025a1f46adf90164ab6aee590ced3fa9d930e915 7344 coq-quickchick_2.1.0-1build3_source.buildinfo
Files:
 2dedbc1ec79f83b81e41a4a1769c13a4 2274 ocaml optional coq-quickchick_2.1.0-1build3.dsc
 9f3e7bd6e7c5b782ebb037a868ea0356 3044 ocaml optional coq-quickchick_2.1.0-1build3.debian.tar.xz
 724ff52fa00f3166472c4769c9af0ede 7344 ocaml optional coq-quickchick_2.1.0-1build3_source.buildinfo