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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:48:27 -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.2-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:48:27 -0500
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build1
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.2-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 466a4d61b9a165608c46340d067ad4577cf68ca2 2274 coq-quickchick_2.0.2-1build1.dsc
 50356f716fb06a68a86ba57f946a470e8cddc931 3108 coq-quickchick_2.0.2-1build1.debian.tar.xz
 96793fac36310faa769825e8c7e329432d761da7 7647 coq-quickchick_2.0.2-1build1_source.buildinfo
Checksums-Sha256:
 187bb585fd53809aa7cb10152e33f88df000c9158ad070278f49b28dd3f875be 2274 coq-quickchick_2.0.2-1build1.dsc
 ed7ee28e296d0f77c0b25d8e1e5c261a404123cee12f437c39ea078ef96996ee 3108 coq-quickchick_2.0.2-1build1.debian.tar.xz
 4f6ec12807848d6685c3798d9543783f2db780441bf9d3691c908bfb8d8fcdee 7647 coq-quickchick_2.0.2-1build1_source.buildinfo
Files:
 b74f3324110bf70ef98c6abfe144686f 2274 ocaml optional coq-quickchick_2.0.2-1build1.dsc
 75162d5cde4126e0779bffea4df26539 3108 ocaml optional coq-quickchick_2.0.2-1build1.debian.tar.xz
 07380f357f0ac8b6001aa50d79014dab 7647 ocaml optional coq-quickchick_2.0.2-1build1_source.buildinfo