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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:42:35 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:42:35 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-3build2
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-3build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8780c5a3bd988ea4d7bb56b2785c721f11e9ab85 2274 coq-quickchick_2.0.3-3build2.dsc
 43039ee6a725f1c3547d29118c6e17139933ccc9 2924 coq-quickchick_2.0.3-3build2.debian.tar.xz
 b4fe8b80bb832fde1ab35dcc393ae50c7fb84cca 7932 coq-quickchick_2.0.3-3build2_source.buildinfo
Checksums-Sha256:
 aaa8ce166601089ecdb6acec17dbc774250a70a5b1b4b30e0bc711f720b567a4 2274 coq-quickchick_2.0.3-3build2.dsc
 a9a4230daacd08901c5b08d47142e28f29fe1f94c5123312f53f9f8b325fac41 2924 coq-quickchick_2.0.3-3build2.debian.tar.xz
 6984bb9bbc16c607c741e67aceca25bed58840e237dc3acde50bacc94edba11c 7932 coq-quickchick_2.0.3-3build2_source.buildinfo
Files:
 385c63c2dcadd08181ece272ac359573 2274 ocaml optional coq-quickchick_2.0.3-3build2.dsc
 038761a58603c2a5895ae49d4562a036 2924 ocaml optional coq-quickchick_2.0.3-3build2.debian.tar.xz
 e4adb4fe7f0c6f4f20570a6a2d90c3cd 7932 ocaml optional coq-quickchick_2.0.3-3build2_source.buildinfo