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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 14:09:52 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-quickchick/2.0-2build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 14:09:52 -0500
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0-2build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-quickchick (2.0-2build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 71633f831a3153246ee0e903cb314205068cb42f 2260 coq-quickchick_2.0-2build4.dsc
 2575b3e588bdc220e4537dd0f14703c81c570bb2 3076 coq-quickchick_2.0-2build4.debian.tar.xz
 aa180073955d52c69c7989562b195887a4c83161 7272 coq-quickchick_2.0-2build4_source.buildinfo
Checksums-Sha256:
 5a9883917cb5cfebad8c14c8251dc8730f2a0ee43014fc32b273fddc5e4a85fb 2260 coq-quickchick_2.0-2build4.dsc
 c7236266f8999c602a14c3637b50b7a4095a9a8d6f75bc866e9b30b4aa582d4c 3076 coq-quickchick_2.0-2build4.debian.tar.xz
 50986a299362292a33994cce3dd7bfeb931043c584c737a5408b212b668e5ecb 7272 coq-quickchick_2.0-2build4_source.buildinfo
Files:
 ac8e5724ccc5d8d0c2bca9c0221505d5 2260 ocaml optional coq-quickchick_2.0-2build4.dsc
 18642e887f1522e9d5061984b0e3b090 3076 ocaml optional coq-quickchick_2.0-2build4.debian.tar.xz
 972b75ec46c59fbfd53240c74e2ce4d4 7272 ocaml optional coq-quickchick_2.0-2build4_source.buildinfo