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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 15 May 2024 09:24:04 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Wed, 15 May 2024 09:24:04 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-2build3
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-2build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bc66edbfd25d923bf7c786506a612bb47e6b93a5 2274 coq-quickchick_2.0.3-2build3.dsc
 1c0179b00b7b39bcfe8d39da77e0e855a823e5c2 2884 coq-quickchick_2.0.3-2build3.debian.tar.xz
 9d64b3a4df18135bcd9a18a18647e62f9be07c06 7908 coq-quickchick_2.0.3-2build3_source.buildinfo
Checksums-Sha256:
 6b70a2cfb0cd7f13a45458f81b49ada59dd1ea4500b537c810ccfe617437153d 2274 coq-quickchick_2.0.3-2build3.dsc
 c5c580761f845243373c6e8c5cf0c151090a84bdd81dc427f187f9d268c63197 2884 coq-quickchick_2.0.3-2build3.debian.tar.xz
 d4454648ee1ef2fc9f2668ac388efc60f7537eb6abfb7c5bc03140a515dbed59 7908 coq-quickchick_2.0.3-2build3_source.buildinfo
Files:
 99d2669a6783b212caa8863254e6296f 2274 ocaml optional coq-quickchick_2.0.3-2build3.dsc
 4706d4fd92558a0dafa6c67642c390d3 2884 ocaml optional coq-quickchick_2.0.3-2build3.debian.tar.xz
 1e790e5a69023c821e900f23a2c80fda 7908 ocaml optional coq-quickchick_2.0.3-2build3_source.buildinfo