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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 07:58:17 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 07:58:17 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build5
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-1build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2def5d51b21e90a2e5431959eb0813d5aac7db97 2112 coq-deriving_0.2.1-1build5.dsc
 ec7bea9deaba02ab7d3bdcde6d4fcb392581ce28 2392 coq-deriving_0.2.1-1build5.debian.tar.xz
 eb5c266d4f2977faf4e35a82444a8f33da3fc625 7307 coq-deriving_0.2.1-1build5_source.buildinfo
Checksums-Sha256:
 0d6a24fe78466e0be0835302c260aeec243311366091e7bbdf75e24502b97e5f 2112 coq-deriving_0.2.1-1build5.dsc
 566eb821a248871edb5f37d97246df381bceed1b80dc84e4787ab0140169c2d7 2392 coq-deriving_0.2.1-1build5.debian.tar.xz
 75ddd7b61639cc986c4eae9853414c87b6ef6ef508f2e98716a90c6355a4cfcf 7307 coq-deriving_0.2.1-1build5_source.buildinfo
Files:
 ac0e63ef78ab0a4a4db26720d2e0d3d0 2112 ocaml optional coq-deriving_0.2.1-1build5.dsc
 e28dcc5726d3eebc8ae51e8b0c0b1500 2392 ocaml optional coq-deriving_0.2.1-1build5.debian.tar.xz
 b9dcd9b2be558a02b1d4a7337f3a3988 7307 ocaml optional coq-deriving_0.2.1-1build5_source.buildinfo