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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:44:35 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:44:35 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.0-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3ab3ca4faed3f0844230b30a72ddd64cab7c0e9b 2107 coq-deriving_0.1.0-1build2.dsc
 0ce7e991d3889826d6c05c51aa02c2fa6989b0d2 2020 coq-deriving_0.1.0-1build2.debian.tar.xz
 c6ef401f3a541b6f1023ea2c4dfe616da4b7ff88 7891 coq-deriving_0.1.0-1build2_source.buildinfo
Checksums-Sha256:
 f2763ae393a2b6a5b2510a1363877a627374befa02dd77c3b6b471c95cf954c8 2107 coq-deriving_0.1.0-1build2.dsc
 048d8b66437dcbef013bdc11f17eae056d881f6fd5b4d244a7808149710881d3 2020 coq-deriving_0.1.0-1build2.debian.tar.xz
 38b4c8ae4e52daaf025335cc4d8cafc2dd112d9825b1791c2e53e84bbafc8e63 7891 coq-deriving_0.1.0-1build2_source.buildinfo
Files:
 a60d079a502b3a4ac4ce8f3b69fdfcd4 2107 ocaml optional coq-deriving_0.1.0-1build2.dsc
 d6fed70d1d73e97359271ead920f6132 2020 ocaml optional coq-deriving_0.1.0-1build2.debian.tar.xz
 6812c33902670165f68a80dc024cf642 7891 ocaml optional coq-deriving_0.1.0-1build2_source.buildinfo