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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:23:13 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:23:13 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.0-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 01cd148a76bc596938e6a4e4fc8ffe4aad0f5deb 2107 coq-deriving_0.1.0-1build1.dsc
 abbfb27e1c71a1a8d52bc3b5040385264cebf205 2004 coq-deriving_0.1.0-1build1.debian.tar.xz
 ce24bd990c3be1389d1c87b3c510cfeacc0e737f 7889 coq-deriving_0.1.0-1build1_source.buildinfo
Checksums-Sha256:
 5737d86e6bd5e1000873570f85c808de33a149fd61a09bb6cb7572b5ddadd75a 2107 coq-deriving_0.1.0-1build1.dsc
 45e7c5e8a7e338c61ebbd6cc875e41e531e5fc9a1f08b3468d147fec01b3b8c6 2004 coq-deriving_0.1.0-1build1.debian.tar.xz
 f6be428fb6bec45163ccb1e0757e4d8dccb7e97dbb392d539b9d535b74156bfe 7889 coq-deriving_0.1.0-1build1_source.buildinfo
Files:
 d5828f5834537d1883435a3c69d527b7 2107 ocaml optional coq-deriving_0.1.0-1build1.dsc
 f5080b1d7c74f9314b6e437e75bf565a 2004 ocaml optional coq-deriving_0.1.0-1build1.debian.tar.xz
 745da34710dbf4acfc307ed34d00f6e9 7889 ocaml optional coq-deriving_0.1.0-1build1_source.buildinfo