[ubuntu/questing-proposed] coq-deriving 0.2.1-1build8 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.1-1build8) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:33:44 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:33:44 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build8
Distribution: questing
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-1build8) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0e10474f93b964833f1a236e34f7c2bde1a144a0 2112 coq-deriving_0.2.1-1build8.dsc
 5761f34db6695a2a45130934e8066723cfc540eb 2440 coq-deriving_0.2.1-1build8.debian.tar.xz
 8fb6a023c07b3fd92ba57e63284d1b75d7aaabf9 6870 coq-deriving_0.2.1-1build8_source.buildinfo
Checksums-Sha256:
 c5066489f80d7db3c97f88122f8bf5b960c1fb996f1e533818d64dd5fb0e36af 2112 coq-deriving_0.2.1-1build8.dsc
 51ac79b9894603bf4465879209a7f37187a1eef242447b0244494624749428b0 2440 coq-deriving_0.2.1-1build8.debian.tar.xz
 d7bc460cba8ad9febfbec0c843bd13daef5a650958a58af0dbac0d5acf64bfa6 6870 coq-deriving_0.2.1-1build8_source.buildinfo
Files:
 62f0879ca3857aa5b16b202071bc85a2 2112 ocaml optional coq-deriving_0.2.1-1build8.dsc
 0f03f5fd221092c93ea58a46f407cfa9 2440 ocaml optional coq-deriving_0.2.1-1build8.debian.tar.xz
 c95e39b4fb47a6eb0a94ca36c4ff9876 6870 ocaml optional coq-deriving_0.2.1-1build8_source.buildinfo