[ubuntu/plucky-proposed] coq-deriving 0.2.1-1build1 (Accepted)

[Jeremy Bícha]

coq-deriving (0.2.1-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:41:39 -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-deriving/0.2.1-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:41:39 -0500
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-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-deriving (0.2.1-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 ead96d50337266e2782cfecb93b8862655fcdaf2 2112 coq-deriving_0.2.1-1build1.dsc
 4021553d4ca948230c05955c188fe4c963fc5d31 2300 coq-deriving_0.2.1-1build1.debian.tar.xz
 7b263dd94434e410c9a372b044b35c24c16f2e84 7096 coq-deriving_0.2.1-1build1_source.buildinfo
Checksums-Sha256:
 eb148247297b648a49decf691e8510b702ede07a8c8c49f4793123176c284600 2112 coq-deriving_0.2.1-1build1.dsc
 22ba561c9eefa9783b7d3521347276878fa54b373df1e564c95343ad119708ba 2300 coq-deriving_0.2.1-1build1.debian.tar.xz
 6a18ab1e0f9f2e5ff825ef5c80f1344b322e916395eae3bd45c0b38d0f918460 7096 coq-deriving_0.2.1-1build1_source.buildinfo
Files:
 a5c2d2ed49c098547a604e28f004e7e6 2112 ocaml optional coq-deriving_0.2.1-1build1.dsc
 da54565955e80dd96f800cd671649394 2300 ocaml optional coq-deriving_0.2.1-1build1.debian.tar.xz
 ccbfd8906dd7ce7e0209918b325f2c6f 7096 ocaml optional coq-deriving_0.2.1-1build1_source.buildinfo