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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:41:21 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:41:21 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-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-deriving (0.2.1-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5b171c4fc07276ad238516c86774fd57c7fb88c3 2112 coq-deriving_0.2.1-1build3.dsc
 f49003dec8ca966416a88e4190c97f4a6d0ba82c 2356 coq-deriving_0.2.1-1build3.debian.tar.xz
 3dfb4506b8c9bf4be4ca7c74964b5c33bd5065d0 7768 coq-deriving_0.2.1-1build3_source.buildinfo
Checksums-Sha256:
 e56758b3bda3a573da6385552d8f31a338c0cc08e940114b2fe84f075eb5dfb5 2112 coq-deriving_0.2.1-1build3.dsc
 e946606ed47e142320ae1fe442a5a1ddfc677acc4409b8e703143cf4d4d5805c 2356 coq-deriving_0.2.1-1build3.debian.tar.xz
 384a919bbbc4d8ca4815d526809b744b4c258f7ccb7aeeaf4f8ef13bb210e594 7768 coq-deriving_0.2.1-1build3_source.buildinfo
Files:
 5ceb1abd91ca5dfc446d18ea54cf6eb6 2112 ocaml optional coq-deriving_0.2.1-1build3.dsc
 3caf24f16fb2e10506009fbb0f5976b0 2356 ocaml optional coq-deriving_0.2.1-1build3.debian.tar.xz
 4b9506bf15d4630f9cd5b429fd129691 7768 ocaml optional coq-deriving_0.2.1-1build3_source.buildinfo