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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:24:47 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:24:47 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-2build2
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-2build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 23fb865724d0eb6f1400a3081db5c2b13313e09b 2274 coq-quickchick_2.0.3-2build2.dsc
 00d0118b8e374ccf34a10631ed0c660940971639 2872 coq-quickchick_2.0.3-2build2.debian.tar.xz
 620352d0c1c0a32b507589ed874b88e335613167 7908 coq-quickchick_2.0.3-2build2_source.buildinfo
Checksums-Sha256:
 f0c93a5da51ef93a6ad8eaa6e82ff0e3e4d6e9d64aeb51dc1d3c0443b3feb187 2274 coq-quickchick_2.0.3-2build2.dsc
 f45576ae337bd06754ccd4a195a61b1dc9d8f13e5202764d50d1c1563042762a 2872 coq-quickchick_2.0.3-2build2.debian.tar.xz
 4898c890e748585344f5fe817d63ed3917f1d6049edeb450a452bf30336e3568 7908 coq-quickchick_2.0.3-2build2_source.buildinfo
Files:
 ebcd3fab81b297760d70f4e7fbd04ffc 2274 ocaml optional coq-quickchick_2.0.3-2build2.dsc
 983726475ce124c95a44555f2473485f 2872 ocaml optional coq-quickchick_2.0.3-2build2.debian.tar.xz
 c87ac3da452af2c3239b5a55f97023c2 7908 ocaml optional coq-quickchick_2.0.3-2build2_source.buildinfo