[ubuntu/oracular-proposed] coq-deriving 0.2.0-3build1 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.0-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:51:20 +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.2.0-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:51:20 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-3build1
Distribution: oracular
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.2.0-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0bce4a2f558e12e859b4ca09b3b8cb2ff05a6f4c 2112 coq-deriving_0.2.0-3build1.dsc
 e2fa950266434a468490fc75b4fb4c0dbcd7a858 2280 coq-deriving_0.2.0-3build1.debian.tar.xz
 940de48bfdb924f992b6aca38fc9a5ab096ac53b 7860 coq-deriving_0.2.0-3build1_source.buildinfo
Checksums-Sha256:
 f38914df6c2a3a6d050f37f97e3107ca38f51232951325ebf01b03994bfcde64 2112 coq-deriving_0.2.0-3build1.dsc
 5ae59c4a426fc195a91538d351d8e72743c9745be1bd3fb90901b0b1def285d8 2280 coq-deriving_0.2.0-3build1.debian.tar.xz
 caec9064b2491b88a57140371e4966f4f4d1dce42a5994928d275600f1775479 7860 coq-deriving_0.2.0-3build1_source.buildinfo
Files:
 126cbeb54271427f181a7fcb9f97518a 2112 ocaml optional coq-deriving_0.2.0-3build1.dsc
 4963f64bb53076fcab7eabd8c57ff4ff 2280 ocaml optional coq-deriving_0.2.0-3build1.debian.tar.xz
 7bcf4dd1dfc4ccb6767967a2ec4abb18 7860 ocaml optional coq-deriving_0.2.0-3build1_source.buildinfo