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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:45:18 +0200
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-1build10
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:45:18 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build10
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-1build10) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f8f7bfd42a53fa4b38f230a6b77a927860525548 2116 coq-deriving_0.2.1-1build10.dsc
 9069bdeb1f3106aa6afe8a5feab3d8f9b172007c 2484 coq-deriving_0.2.1-1build10.debian.tar.xz
 63a94802dc78012aafa20a67a251a5f2ae18f284 6880 coq-deriving_0.2.1-1build10_source.buildinfo
Checksums-Sha256:
 fc725053f12240d5cdf6efea456423a63fa840f79ab5d2611220bf159a32734e 2116 coq-deriving_0.2.1-1build10.dsc
 b8630a6d10c6346208e7e3c3d7b6d5746ffb41df036284bd95453a9e7134b9dc 2484 coq-deriving_0.2.1-1build10.debian.tar.xz
 732a0efc0a4c906ab859471e943ca440415da5596541787c0f3a0557ae29a7d5 6880 coq-deriving_0.2.1-1build10_source.buildinfo
Files:
 39c9f6c91431e59e4f9fb5f5fc7b81ab 2116 ocaml optional coq-deriving_0.2.1-1build10.dsc
 a98f4ff6865ab11633ade5d93db0c1bc 2484 ocaml optional coq-deriving_0.2.1-1build10.debian.tar.xz
 fb8e98ac69955f66d7f7c4fac3c52388 6880 ocaml optional coq-deriving_0.2.1-1build10_source.buildinfo