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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:42:38 +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.5-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:42:38 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.5-1build3
Distribution: plucky
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.5-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d077eb586dd0c950a7736772ccab54e9ffb68fac 2274 coq-quickchick_2.0.5-1build3.dsc
 c07a6880bd6885fa995fcd5124baebfed23f5800 3016 coq-quickchick_2.0.5-1build3.debian.tar.xz
 a012a522a7ee125f67294aedfab0f220427a4690 7840 coq-quickchick_2.0.5-1build3_source.buildinfo
Checksums-Sha256:
 3224ebeaaae29da2ba2cc7adbf6f58a3424090f9a9f498091d35e23b5c7cb3ef 2274 coq-quickchick_2.0.5-1build3.dsc
 36a1fbc52d75e61cf2c502544d69f8d98cb8d26e0ed3c91bafa8638264b4ea34 3016 coq-quickchick_2.0.5-1build3.debian.tar.xz
 080f1dfa81cdf6720e14ef5f11a7232ebed9021c429b31bff4c892e5790250ba 7840 coq-quickchick_2.0.5-1build3_source.buildinfo
Files:
 d96db02d9c5c462758f4e5b7a64c5dfe 2274 ocaml optional coq-quickchick_2.0.5-1build3.dsc
 e98533382f437fca9f06dcfc3cf96f3f 3016 ocaml optional coq-quickchick_2.0.5-1build3.debian.tar.xz
 7a1d75551d9ddca58ad43effb0935f8e 7840 ocaml optional coq-quickchick_2.0.5-1build3_source.buildinfo