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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:24:10 +0100
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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:24:10 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-1build2
Distribution: noble
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-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 469179a01bf220aa51f90ec36f160073c5699cc1 2112 coq-deriving_0.2.0-1build2.dsc
 0e4c16c31ac8840a2676f3704308291d8797d595 2232 coq-deriving_0.2.0-1build2.debian.tar.xz
 9f3c86698c7b1c7b71f4405a1b51da89b76b28fe 7819 coq-deriving_0.2.0-1build2_source.buildinfo
Checksums-Sha256:
 ca30ea208c61913a71bb5f8de9ebb2fa9e59761f00e22a109cbd5a59412ac2c8 2112 coq-deriving_0.2.0-1build2.dsc
 35a7af4521b585d4afd03367467c99e99cf56be6d5e40cf3d42e0b7d1e3b3428 2232 coq-deriving_0.2.0-1build2.debian.tar.xz
 a121c746374594a08d6d5fe246c128fcd0eb955d698b78f72904ea10dbd6b20f 7819 coq-deriving_0.2.0-1build2_source.buildinfo
Files:
 08faa32033ddfe5e21949dc661275354 2112 ocaml optional coq-deriving_0.2.0-1build2.dsc
 65f9c15cf357523c9fda8661b428e49f 2232 ocaml optional coq-deriving_0.2.0-1build2.debian.tar.xz
 f14d9d77e1168c2e4cb0cce45711626d 7819 ocaml optional coq-deriving_0.2.0-1build2_source.buildinfo