[ubuntu/noble-proposed] coq-deriving 0.2.0-1build5 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.0-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:13:36 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-deriving/0.2.0-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:13:36 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-deriving (0.2.0-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d583d2941d7fbd3aa930f787f54a2d7748354d14 2191 coq-deriving_0.2.0-1build5.dsc
 7b969aefe316e33d7b4bf12a7ad71f69809f4699 2384 coq-deriving_0.2.0-1build5.debian.tar.xz
 b1c14dc2ee85cbe418d6dbcbff0409bac5b84bdf 7836 coq-deriving_0.2.0-1build5_source.buildinfo
Checksums-Sha256:
 dc40184d90477321578341289454b7aa8da6248877260cc420e549e20b0e95dc 2191 coq-deriving_0.2.0-1build5.dsc
 943b51e31d05356d17f46f04b419388794dd36c6efe3cc3e232bf3f841657ccf 2384 coq-deriving_0.2.0-1build5.debian.tar.xz
 93f3f47f8321900324659ba1c366e3110943b8f31dbcea98873c4655ec99aec6 7836 coq-deriving_0.2.0-1build5_source.buildinfo
Files:
 5211dd88efed474dd33c47eba365dd6f 2191 ocaml optional coq-deriving_0.2.0-1build5.dsc
 53ef46e7064755e4cefc0f350d1fc1de 2384 ocaml optional coq-deriving_0.2.0-1build5.debian.tar.xz
 cdb39568c875b6f3a59c6be70c72b31e 7836 ocaml optional coq-deriving_0.2.0-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>