[ubuntu/oracular-proposed] coq-deriving 0.2.0-2build2 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.0-2build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:19:47 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:19:47 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-2build2
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-2build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4709f7ce8ede3bebb7c68814c69059a0c464d554 2112 coq-deriving_0.2.0-2build2.dsc
 a845b8490cdfe00b9446b6148862f999dcbca504 2228 coq-deriving_0.2.0-2build2.debian.tar.xz
 6df07d55198857d19780a2208b7eeea6858644b7 7836 coq-deriving_0.2.0-2build2_source.buildinfo
Checksums-Sha256:
 782e4f1e9542eafa6529e84261cb9e7481cd1a84240ce15aeef0b56c5fb9b666 2112 coq-deriving_0.2.0-2build2.dsc
 0688a50d544006e1f275d160614df38b7888e3186fc975caa6bfc49740ad8717 2228 coq-deriving_0.2.0-2build2.debian.tar.xz
 e495e0a40ea5380c8bab68590fa763f1ca69d9c64bf1c74db51d80a1efa8cc83 7836 coq-deriving_0.2.0-2build2_source.buildinfo
Files:
 ddc4f87c2fadbc123a4a75d8f5ecc070 2112 ocaml optional coq-deriving_0.2.0-2build2.dsc
 0666cffe9e6e06113966c64884fb8a21 2228 ocaml optional coq-deriving_0.2.0-2build2.debian.tar.xz
 e338eef0be97faad181b3432285e8f3a 7836 ocaml optional coq-deriving_0.2.0-2build2_source.buildinfo