[ubuntu/resolute-proposed] coq-deriving 0.2.1-1build12 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.1-1build12) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 19:25:40 +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-1build12
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 19:25:40 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build12
Distribution: resolute
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-1build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d6c152b44578e0394bbf227406c245aff0acc2e0 2116 coq-deriving_0.2.1-1build12.dsc
 326150c5cdf174d68a5d66cf441dc3de7305df2c 2508 coq-deriving_0.2.1-1build12.debian.tar.xz
 53672ceb02f6d17fb13aef7a9ba6d1a60bdabaa3 7867 coq-deriving_0.2.1-1build12_source.buildinfo
Checksums-Sha256:
 1bc1f31b51d0a9321503e262ebb769956b0280cc8e3282882a1bf6d8eeba3f45 2116 coq-deriving_0.2.1-1build12.dsc
 1ec6a6fe55806da33de68c6dc74922f0e08ce694fa31f793c392a20e4b7f1298 2508 coq-deriving_0.2.1-1build12.debian.tar.xz
 42b3d0876926994c63858764aa820368e0f40e6f9e4cb84d04cb9f21d5fc639f 7867 coq-deriving_0.2.1-1build12_source.buildinfo
Files:
 b19207b1f03c093f701e43e5179eb613 2116 ocaml optional coq-deriving_0.2.1-1build12.dsc
 478a8dcc35d17b331ea9375fd725eac5 2508 ocaml optional coq-deriving_0.2.1-1build12.debian.tar.xz
 83de3e721c0d5c7b54b780309f5a2e27 7867 ocaml optional coq-deriving_0.2.1-1build12_source.buildinfo