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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 12:33:05 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 12:33:05 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-2build3
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-2build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 25721f16e44d473df4bc893351a7541c8b2994d5 2112 coq-deriving_0.2.0-2build3.dsc
 3be261dc7d596e7ffa02161376a628ada8cae462 2248 coq-deriving_0.2.0-2build3.debian.tar.xz
 14dae3e2683daf7cc28ef348d29c372b5e8c9c71 7836 coq-deriving_0.2.0-2build3_source.buildinfo
Checksums-Sha256:
 e312838e798eae64f7b855423205088b083aca45b6aca9b4b56e29391e9fa4d1 2112 coq-deriving_0.2.0-2build3.dsc
 e21332d992542c0103465c6996b9c14557e2e2468921b3b98bd7fae15259ae0f 2248 coq-deriving_0.2.0-2build3.debian.tar.xz
 0ba715870bf1d059bd6e637755196621d06d5c9c856031833d61fbcf8c1fda52 7836 coq-deriving_0.2.0-2build3_source.buildinfo
Files:
 42e965a7e4f75f4fb71a6e63150223bd 2112 ocaml optional coq-deriving_0.2.0-2build3.dsc
 286c220c26d5f8dd3e682d2f37aab055 2248 ocaml optional coq-deriving_0.2.0-2build3.debian.tar.xz
 137e73592901cec4c2136a0ec645b40a 7836 ocaml optional coq-deriving_0.2.0-2build3_source.buildinfo