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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:49:10 +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-3build4
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:49:10 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-3build4
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-3build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 86a536a39767c2db825e49015d447c7ba3dd448d 2112 coq-deriving_0.2.0-3build4.dsc
 d31ca2baa74a94bebe4b2160b23ec8d3de55e7ac 2364 coq-deriving_0.2.0-3build4.debian.tar.xz
 babfdbc2b58a304e184d2a683b5081344428dc83 7860 coq-deriving_0.2.0-3build4_source.buildinfo
Checksums-Sha256:
 ca3248ccbb73f2d71c9a888607ff6affe50b9bf43bb2a9aa3d646b4f9e078ec0 2112 coq-deriving_0.2.0-3build4.dsc
 8e9d6804bb6c964d52f8450babf3e89516f10ca826908eb7cb851a87e7b7ebe4 2364 coq-deriving_0.2.0-3build4.debian.tar.xz
 55bd9c9c1d5be87e4822960eddeb366fa346f22608d7f058c7ebf875f6920457 7860 coq-deriving_0.2.0-3build4_source.buildinfo
Files:
 5f28028460a6150d343359acc2d28425 2112 ocaml optional coq-deriving_0.2.0-3build4.dsc
 6c4d8dc83c50e9f5782cfd51054bb4dc 2364 ocaml optional coq-deriving_0.2.0-3build4.debian.tar.xz
 33e0d683796454b4ee5f609db02df531 7860 ocaml optional coq-deriving_0.2.0-3build4_source.buildinfo