[ubuntu/noble-proposed] coq-quickchick 2.0.2-1build5 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.2-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:19:16 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-quickchick/2.0.2-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:19:16 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-quickchick (2.0.2-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 56c34630befdc97396b971e329300eca64797d59 2353 coq-quickchick_2.0.2-1build5.dsc
 cbd06240acd857e408b049b7bda7d1e76df6a044 3300 coq-quickchick_2.0.2-1build5.debian.tar.xz
 9d7641d4d09607c50972f17d4e974d7f6297641d 7908 coq-quickchick_2.0.2-1build5_source.buildinfo
Checksums-Sha256:
 b6860b5ab8f0e435d4d6a37718143f446e765abd63a05dc25f1e454dbbbaff81 2353 coq-quickchick_2.0.2-1build5.dsc
 1d4a9225593cd741f168b9ba019aaeb1028a73b30ca3df73bcc768c17e63fc1c 3300 coq-quickchick_2.0.2-1build5.debian.tar.xz
 5b97cd29ad1341a16e5df9889c1dc9f93043227ab2c1980d982d6d9bec8dd2ac 7908 coq-quickchick_2.0.2-1build5_source.buildinfo
Files:
 af8bbdb43d90f448657f4d09fc4b1b6e 2353 ocaml optional coq-quickchick_2.0.2-1build5.dsc
 177fe2679feaa3b50e18cdb1755e1b2c 3300 ocaml optional coq-quickchick_2.0.2-1build5.debian.tar.xz
 cae85fe083db10312189dd44e0196695 7908 ocaml optional coq-quickchick_2.0.2-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>