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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:21:38 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:21:38 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build4
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b1517f903eed35558ce256024c963d29df4d46a9 2274 coq-quickchick_2.1.0-1build4.dsc
 699a0ba21c984962f90fe30dca046e7e8d213c7b 3048 coq-quickchick_2.1.0-1build4.debian.tar.xz
 f989e3f23ac72347a152d11ab8e79b461be5a683 7348 coq-quickchick_2.1.0-1build4_source.buildinfo
Checksums-Sha256:
 b8ce55eb36c7ec4c3d734b82649d05c668c7fb8f40d610a023ea6f0bd6ce1a38 2274 coq-quickchick_2.1.0-1build4.dsc
 cfed347cb73e61830ba8226d65e56b0875ee17f64218b205155beefe914416bc 3048 coq-quickchick_2.1.0-1build4.debian.tar.xz
 f5926d560f962775412b7dad614b3c1e80770fb9f80f825bbb9b20b233b4bf74 7348 coq-quickchick_2.1.0-1build4_source.buildinfo
Files:
 9e51ade699bf36b48360da79c8934538 2274 ocaml optional coq-quickchick_2.1.0-1build4.dsc
 c3b5d8ec8486d935bafc0d8037e71060 3048 ocaml optional coq-quickchick_2.1.0-1build4.debian.tar.xz
 8e9c55590609b4b1ab01acad5d83f8b5 7348 ocaml optional coq-quickchick_2.1.0-1build4_source.buildinfo