[ubuntu/lunar-proposed] coq-deriving 0.1.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.1.0-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 09:48:36 +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.1.0-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 09:48:36 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.0-1build3
Distribution: lunar
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.1.0-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 175d3371f7af6e11bb0608cff4ac0b018402feda 2107 coq-deriving_0.1.0-1build3.dsc
 252ad7f1942ee8435c70900c58a0cbfea8a4289f 2032 coq-deriving_0.1.0-1build3.debian.tar.xz
 6182744dafc0a54268f970ff8ab110992ad63c5b 7112 coq-deriving_0.1.0-1build3_source.buildinfo
Checksums-Sha256:
 0f78f11e150a81e32313fb2bacf7d69b0d3a308cf2dc37b89920d8994792d6c2 2107 coq-deriving_0.1.0-1build3.dsc
 31a8d2ebaa9528c3f4358f7032e5180ceb20b98b7107916c7b105b5a036fa251 2032 coq-deriving_0.1.0-1build3.debian.tar.xz
 c3d6763f7979cf9b3136795a7e997e3748637f0c6e2b9dbac151608d0548f03d 7112 coq-deriving_0.1.0-1build3_source.buildinfo
Files:
 1b076b3282bd61a28b659e341f0740fb 2107 ocaml optional coq-deriving_0.1.0-1build3.dsc
 da741c4e7fd6da6c4a82866bd499cac2 2032 ocaml optional coq-deriving_0.1.0-1build3.debian.tar.xz
 342c2941a546d43552e323244d8b89f9 7112 ocaml optional coq-deriving_0.1.0-1build3_source.buildinfo