[ubuntu/oracular-proposed] coq-quickchick 2.0.3-3build5 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.3-3build5) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:59:11 +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.3-3build5
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:59:11 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-3build5
Distribution: oracular
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.3-3build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 35bf636a340680991f235ca48538383aef5f0557 2274 coq-quickchick_2.0.3-3build5.dsc
 7a1dc2a00191a1dca5034779a79c43a61069b602 3008 coq-quickchick_2.0.3-3build5.debian.tar.xz
 b290cb5efeda6890bb8f605faf92217a890f5693 7932 coq-quickchick_2.0.3-3build5_source.buildinfo
Checksums-Sha256:
 293609dd7615e24ec31d1b8389d899e2f49b9e60b25d7efdc1f327d688327c24 2274 coq-quickchick_2.0.3-3build5.dsc
 359f839b49435b279f308a586f64dbe8ec1e4bcf47af77b1ce7d06361c18b072 3008 coq-quickchick_2.0.3-3build5.debian.tar.xz
 b85806a47f658a4619d179a604c53a9d124705363c69890917dcae839cb8b40d 7932 coq-quickchick_2.0.3-3build5_source.buildinfo
Files:
 df0b16b1e391e3f96e03467876811acb 2274 ocaml optional coq-quickchick_2.0.3-3build5.dsc
 42b3d01d8f4723f94c1935a7e429ad74 3008 ocaml optional coq-quickchick_2.0.3-3build5.debian.tar.xz
 f86b1d718a7c5f9b9112597c6dfd165c 7932 ocaml optional coq-quickchick_2.0.3-3build5_source.buildinfo