[ubuntu/oracular-proposed] coq-deriving 0.2.0-2build4 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.0-2build4) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:40:53 +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.0-2build4
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:40:53 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-2build4
Distribution: oracular
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.0-2build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 87b922a0d133914f6099dc800c19147c08cac617 2112 coq-deriving_0.2.0-2build4.dsc
 520d7af22b06ce8aea48b9b23c1ec17743b219ac 2260 coq-deriving_0.2.0-2build4.debian.tar.xz
 2306f4709e64bfdc1864db6773bf8e00fecc78db 7836 coq-deriving_0.2.0-2build4_source.buildinfo
Checksums-Sha256:
 039665a6111666fcbcf732735f60b6d70d5c36049dba07c0ac1e14648d7eb122 2112 coq-deriving_0.2.0-2build4.dsc
 720c6be709fac658087235c36d7c262a42ca7cf00444541dfdf60628f69869cb 2260 coq-deriving_0.2.0-2build4.debian.tar.xz
 23b95f55541131ada0ba3321b3ce396eedf6b6080f3032e0584ccc19cc102a42 7836 coq-deriving_0.2.0-2build4_source.buildinfo
Files:
 db28e857da29c4ac6af9713f702b17f7 2112 ocaml optional coq-deriving_0.2.0-2build4.dsc
 f90cc30f20fc0e694e4b23f1707c2e0a 2260 ocaml optional coq-deriving_0.2.0-2build4.debian.tar.xz
 0a32177875c1be8b9cc61fbaf9413eee 7836 ocaml optional coq-deriving_0.2.0-2build4_source.buildinfo