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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:27:07 +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-deriving/0.2.1-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:27:07 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build2
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-deriving (0.2.1-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 26bc1f5bd3cd63e0613aabe52b32940702929c1d 2112 coq-deriving_0.2.1-1build2.dsc
 f90eae28934976e91caeace1b812d288cb770c53 2344 coq-deriving_0.2.1-1build2.debian.tar.xz
 49eb91e86333c5c3710c7dd8d411c7db56704a50 7768 coq-deriving_0.2.1-1build2_source.buildinfo
Checksums-Sha256:
 82df0c86428fdaf9d74c6305c3a4de84a96932cac1dd9c5607fe23aff161060a 2112 coq-deriving_0.2.1-1build2.dsc
 5891c96ae62b5af625ea03290bbfc92d5b9054b3f825bdfd0c127fccea47f146 2344 coq-deriving_0.2.1-1build2.debian.tar.xz
 0516f090fff2785e47b4fc2c2799830073b61b66c93b9d91caeafd379c681875 7768 coq-deriving_0.2.1-1build2_source.buildinfo
Files:
 8a4fabf184e360caddec0b3a2b5d91b1 2112 ocaml optional coq-deriving_0.2.1-1build2.dsc
 451a788329f72a1ef8bfad59420e782b 2344 ocaml optional coq-deriving_0.2.1-1build2.debian.tar.xz
 a7a218940c4acfc52f5a60eb5f0325ba 7768 ocaml optional coq-deriving_0.2.1-1build2_source.buildinfo