[ubuntu/lunar-proposed] coq-deriving 0.1.0-2build2 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.1.0-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28:06 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:06 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.0-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c08ab8402d512cf7500a71a97f54e8a8255ed849 2112 coq-deriving_0.1.0-2build2.dsc
 2b85efe1ec912f1ea38343de87c115fb1a5af62b 2052 coq-deriving_0.1.0-2build2.debian.tar.xz
 c29fb913179f9912532bf7bcd4b74d3b9c24a519 7156 coq-deriving_0.1.0-2build2_source.buildinfo
Checksums-Sha256:
 22750145d0fb05b86b0341d5c72329d5742f960d64344d2878da58bcb4ec1ba4 2112 coq-deriving_0.1.0-2build2.dsc
 6a710c82be418ec6042eee88a9b9f3d3339a0752ffb02b5234c728fb4c1a8744 2052 coq-deriving_0.1.0-2build2.debian.tar.xz
 47110a1b37ab874e2c276b03497e909b1309eaebf9991a11f5a253ec2663b05c 7156 coq-deriving_0.1.0-2build2_source.buildinfo
Files:
 174ce60d80eec0c2a089b79bbe7ac0b1 2112 ocaml optional coq-deriving_0.1.0-2build2.dsc
 73e67d0b30b37dd1232f7f12b43bf4ed 2052 ocaml optional coq-deriving_0.1.0-2build2.debian.tar.xz
 74725e26767187c2cca625a39ce490f2 7156 ocaml optional coq-deriving_0.1.0-2build2_source.buildinfo