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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:38:16 +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-1build13
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:38:16 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build13
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-1build13) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a02f371fd1454d59dba65322b187efe19d4ef90b 2116 coq-deriving_0.2.1-1build13.dsc
 bd2934cae5fca62ab3fde2bac5aaeebeb4d2ff22 2524 coq-deriving_0.2.1-1build13.debian.tar.xz
 86e71560f95d37fb01d88efe3c91dddc18b6150e 7871 coq-deriving_0.2.1-1build13_source.buildinfo
Checksums-Sha256:
 43363c34559d6062e90bd44548f6ac304999a603743de822324032812f03fbc7 2116 coq-deriving_0.2.1-1build13.dsc
 d550ab668e4aed764d4bd86f80f723220c33ebcf3c93dc4cc115dccdda41dce3 2524 coq-deriving_0.2.1-1build13.debian.tar.xz
 ee8b0658b31b9ee1eb50597cb291decf8605bd42bbf2ad470c462accd927d03f 7871 coq-deriving_0.2.1-1build13_source.buildinfo
Files:
 c6025fad3d2445b7720223bf92bcb7c1 2116 ocaml optional coq-deriving_0.2.1-1build13.dsc
 4786e38e0700225c71c22ce49040b6ff 2524 ocaml optional coq-deriving_0.2.1-1build13.debian.tar.xz
 4a9d0de1f2ad846a93a337cb6ef439e8 7871 ocaml optional coq-deriving_0.2.1-1build13_source.buildinfo