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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 12:35:20 +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-2build4
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 12:35:20 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-2build4
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-2build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f2f7e05b8efdc3afa91620d12ac164a54dcb3572 2274 coq-quickchick_2.0.3-2build4.dsc
 7e6aa236a28c57ecc3f4bc1bc99bc50762113feb 2900 coq-quickchick_2.0.3-2build4.debian.tar.xz
 cc202e74e5cb54a5b2c964d775f7250f24b857b7 7908 coq-quickchick_2.0.3-2build4_source.buildinfo
Checksums-Sha256:
 c56dcd222969702cf8ca59c39d5c4ca060640989afa3296a49f68ce3262bb044 2274 coq-quickchick_2.0.3-2build4.dsc
 fbaeb22c0b33be41bd803516280b0d181d1a574d2e0180d8f3ef9cfc46d54b81 2900 coq-quickchick_2.0.3-2build4.debian.tar.xz
 355e64b3a7b84b9eea4407220dc2edeb9e449a01a84cdecaf688bc64b6dae664 7908 coq-quickchick_2.0.3-2build4_source.buildinfo
Files:
 8c0edffe8ff3e1d6818776402b05bbfb 2274 ocaml optional coq-quickchick_2.0.3-2build4.dsc
 e07a986ea22ea674b82761cb40909dd8 2900 ocaml optional coq-quickchick_2.0.3-2build4.debian.tar.xz
 027d765eff60e82d8fb68693f75a34bb 7908 ocaml optional coq-quickchick_2.0.3-2build4_source.buildinfo