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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:51:12 +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-3build4
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:51:12 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-3build4
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-3build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7a8149e2cd1c04c502abf354febd4df23c7477af 2274 coq-quickchick_2.0.3-3build4.dsc
 0e38a0b6aa9a7af371fbf0a3c74c386e235b7c6f 2992 coq-quickchick_2.0.3-3build4.debian.tar.xz
 12e2ff7da8b95ad2fc208cab3802d9c9767b1dfd 7932 coq-quickchick_2.0.3-3build4_source.buildinfo
Checksums-Sha256:
 032a75549b7cb9486d33322235d8c18cdc7856e6b57f10f9dfb9d180175973b6 2274 coq-quickchick_2.0.3-3build4.dsc
 2ae868b9cec556e52f40d1e5241f8d47788575c98ed1c01982a2c534ffef9f0d 2992 coq-quickchick_2.0.3-3build4.debian.tar.xz
 168610530449ef902f6289dba5db0cb149fac3093e700fa94e270ea4abb0b1ef 7932 coq-quickchick_2.0.3-3build4_source.buildinfo
Files:
 8b8ed5479f197e4ef2a1411a35c71e1c 2274 ocaml optional coq-quickchick_2.0.3-3build4.dsc
 94adb002555190b39956b8bc55a9aae9 2992 ocaml optional coq-quickchick_2.0.3-3build4.debian.tar.xz
 21cf1f4087afe32f41d9beed797e62a2 7932 ocaml optional coq-quickchick_2.0.3-3build4_source.buildinfo