[ubuntu/noble-proposed] coq-quickchick 2.0-2build2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0-2build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:15:28 +0100
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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:15:28 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0-2build2
Distribution: noble
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-2build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a2b5e701253e5b802edcaf0e99cd5313d6121daa 2260 coq-quickchick_2.0-2build2.dsc
 10671d67091057d1a37bc747e5c2189e956a2637 3008 coq-quickchick_2.0-2build2.debian.tar.xz
 f9a5aab45c57be73b2b292e3efdad3d2d06a9e02 7880 coq-quickchick_2.0-2build2_source.buildinfo
Checksums-Sha256:
 5a819475e4fd27f357ff0c767ed85eb4edbbe1b71224f80b6485af3f37560359 2260 coq-quickchick_2.0-2build2.dsc
 4abdbcec8cf14ba7ed4085eca857d496302fc3c417b82273f04d35d9107693e1 3008 coq-quickchick_2.0-2build2.debian.tar.xz
 c27e52862dd8a8875dbee60e63e67242f2c7076a1e3e83a9b5776be56d458f3d 7880 coq-quickchick_2.0-2build2_source.buildinfo
Files:
 80daca42b0de6e549ec5f79abaed3d24 2260 ocaml optional coq-quickchick_2.0-2build2.dsc
 d90da91f4059f875a87bceab518297ad 3008 ocaml optional coq-quickchick_2.0-2build2.debian.tar.xz
 a5a26f7e79d19fa9378f27906b056542 7880 ocaml optional coq-quickchick_2.0-2build2_source.buildinfo