[ubuntu/plucky-proposed] coq-quickchick 2.0.5-1build1 (Accepted)

[Jeremy Bícha]

coq-quickchick (2.0.5-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:41:50 -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.5-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:41:50 -0500
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.5-1build1
Distribution: plucky
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.5-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 f1e5cb48b9c68533fe7a0ea0fe51a77d30316631 2274 coq-quickchick_2.0.5-1build1.dsc
 316d164662f09832f36ede941a00a42451c39e71 2960 coq-quickchick_2.0.5-1build1.debian.tar.xz
 e985ca8882776190c15e7130680541566c429f10 7104 coq-quickchick_2.0.5-1build1_source.buildinfo
Checksums-Sha256:
 0c87ac9e4159ce99033249a8c165926f034b6a3191c3c26318f1cac663217773 2274 coq-quickchick_2.0.5-1build1.dsc
 72c5e7de550cd3aad2d882b913b6f0dc1bddc28e3ce457761c7b6f9b9b1c2146 2960 coq-quickchick_2.0.5-1build1.debian.tar.xz
 2e5c4b43af128655a2843344a15714898e31debf3d0b9601036cb20b100d4626 7104 coq-quickchick_2.0.5-1build1_source.buildinfo
Files:
 10afca5abc7fa5c78adf5551ed4d1c2e 2274 ocaml optional coq-quickchick_2.0.5-1build1.dsc
 83ed149cd0ed6543804875a75fc7fbfb 2960 ocaml optional coq-quickchick_2.0.5-1build1.debian.tar.xz
 825b09c4e56dbfb1db58b7219c0399aa 7104 ocaml optional coq-quickchick_2.0.5-1build1_source.buildinfo