[ubuntu/mantic-proposed] coq-deriving 0.1.0-2build3 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.1.0-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:42:48 +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.1.0-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:42:48 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.0-2build3
Distribution: mantic
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-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7927af60e2cbfe3f7ac424c75c500fb74b9f34a6 2112 coq-deriving_0.1.0-2build3.dsc
 9d126e98de16151e9bf8fa776820fbb2bf050578 2072 coq-deriving_0.1.0-2build3.debian.tar.xz
 41154d379b4532a46d8d81c55279e781f586ffa6 7211 coq-deriving_0.1.0-2build3_source.buildinfo
Checksums-Sha256:
 5baf27cd03ff98df1039925c41513072809440b5047ab8195f5d0772e988868a 2112 coq-deriving_0.1.0-2build3.dsc
 ba9f27f6f0524c6f091825a6ab984b28d9b90ed49ae66b545a55a1beb14058f0 2072 coq-deriving_0.1.0-2build3.debian.tar.xz
 c9e2ea6b74aa8198c688a5066bc4dc59eb98da6ca9f839385bf29a475b115769 7211 coq-deriving_0.1.0-2build3_source.buildinfo
Files:
 791858b480fa1147fcaa7e0e7a766159 2112 ocaml optional coq-deriving_0.1.0-2build3.dsc
 ab6697417fb8fafb3787210a9961e5c7 2072 ocaml optional coq-deriving_0.1.0-2build3.debian.tar.xz
 998ba17e3a90633fadfb0ccd56c28c0c 7211 ocaml optional coq-deriving_0.1.0-2build3_source.buildinfo