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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:04:27 +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-1build11
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:04:27 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build11
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-1build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 852b893eb50a5b2d301b60bbdf1790ee6a8eec3c 2116 coq-deriving_0.2.1-1build11.dsc
 42ec9a7c0e76779916f53d5a6e924ef0e89a7da8 2496 coq-deriving_0.2.1-1build11.debian.tar.xz
 02f6229cdfb681975a79c73ea8b03fba54b06020 7861 coq-deriving_0.2.1-1build11_source.buildinfo
Checksums-Sha256:
 8b85d5305b176462975279b3fa332d880ed500428537a2a3e0876b785b4af4aa 2116 coq-deriving_0.2.1-1build11.dsc
 9039c4f3165fd84c89d32ca98e86ff2bf21309d212406d84171c87e99ac44a18 2496 coq-deriving_0.2.1-1build11.debian.tar.xz
 f113cb71c9d6ae423fc808f14ae001ef43d3f96c3c013f15c1e02fcfee812e9a 7861 coq-deriving_0.2.1-1build11_source.buildinfo
Files:
 d115e492bd0fe974d8e6f8067466984f 2116 ocaml optional coq-deriving_0.2.1-1build11.dsc
 cb7f40abc6ebc90591407e3b813c624a 2496 ocaml optional coq-deriving_0.2.1-1build11.debian.tar.xz
 ba35b15ce25f8c21987d86b1f4c2c410 7861 ocaml optional coq-deriving_0.2.1-1build11_source.buildinfo