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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:09: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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:09:05 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 feaaa64b8447e1b5375da48f2c480ca731db0913 2112 coq-deriving_0.2.0-2build1.dsc
 0b9a68acfb90af6bf2ba8fcd01cd4bb4fa1d2cc6 2220 coq-deriving_0.2.0-2build1.debian.tar.xz
 51e191e66891c1d8fe71d6b994275801096db795 7836 coq-deriving_0.2.0-2build1_source.buildinfo
Checksums-Sha256:
 1bd8d8dcdf45158b8d8472983fb3be1396a7ee793961b2f49ed37dc5bb012b8b 2112 coq-deriving_0.2.0-2build1.dsc
 8a29f069f235c0656622c80364ecf6d97f2a9900f37f1e3b40e0b8fb87e29963 2220 coq-deriving_0.2.0-2build1.debian.tar.xz
 35a31313cadcb6e16a002866b96293441f0cbb53930b043fcbf5f62300958408 7836 coq-deriving_0.2.0-2build1_source.buildinfo
Files:
 08fb849f25d29d35677dffa86e12d01d 2112 ocaml optional coq-deriving_0.2.0-2build1.dsc
 72678461b82ef57c771705da74ba8961 2220 ocaml optional coq-deriving_0.2.0-2build1.debian.tar.xz
 9eb0dbda8a897b3f912df48d7ebafe17 7836 ocaml optional coq-deriving_0.2.0-2build1_source.buildinfo