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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:43:32 +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-2build5
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:43:32 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-2build5
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-2build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a3821adb9d6521ae37d7ffaf59fd874412a0eff0 2274 coq-quickchick_2.0.3-2build5.dsc
 26dce5565e9d160cdbac2003cf11e0fad24326bd 2912 coq-quickchick_2.0.3-2build5.debian.tar.xz
 4410bdbbc103bfbdac26daa79810e4cafc0f77c2 7908 coq-quickchick_2.0.3-2build5_source.buildinfo
Checksums-Sha256:
 a387465c6e26fb41a96308d1818a016c3b10abadf30c25af0c1df1e579db19c2 2274 coq-quickchick_2.0.3-2build5.dsc
 c9caa9e64fc930c49a8d73488a31292aa17f92775880ba93f884fc2edd97009c 2912 coq-quickchick_2.0.3-2build5.debian.tar.xz
 4ef0dfeb1c53e193d9a2b4a403a7f6e6a1da5a78e5f1aa0b6c17d2a219401e1e 7908 coq-quickchick_2.0.3-2build5_source.buildinfo
Files:
 da5fe085d97b3dba4913d04419bbfc92 2274 ocaml optional coq-quickchick_2.0.3-2build5.dsc
 759bfcaf6de8f7e800d14990dc39971e 2912 ocaml optional coq-quickchick_2.0.3-2build5.debian.tar.xz
 bbd94206bf0852b8367195202c0a8a94 7908 ocaml optional coq-quickchick_2.0.3-2build5_source.buildinfo