[ubuntu/questing-proposed] coq-deriving 0.2.1-1build7 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.1-1build7) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:05: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.1-1build7
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:05:05 +0200
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-1build7
Distribution: questing
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.1-1build7) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9b10089694c5a1ac803d3d2bb470af649b370bec 2112 coq-deriving_0.2.1-1build7.dsc
 b042f133e4f6b8b127d38a078fb279d9eed01a05 2432 coq-deriving_0.2.1-1build7.debian.tar.xz
 8d9dd0673f93ffaa49eef818bae1fc64fa4e391a 6870 coq-deriving_0.2.1-1build7_source.buildinfo
Checksums-Sha256:
 70932eea83b14faf1ad99d383582f595678a589029852e305c4104b50ca3415f 2112 coq-deriving_0.2.1-1build7.dsc
 bfb70d1c733fae0eeef85c064b723228f8e1b7abf3fa85a841374323d5974821 2432 coq-deriving_0.2.1-1build7.debian.tar.xz
 9d586620eb01efd1b3008a590871c7559ee700f2429f6953ec75f13dfb96263a 6870 coq-deriving_0.2.1-1build7_source.buildinfo
Files:
 5eb07141de02dbeab4366af7c11aba61 2112 ocaml optional coq-deriving_0.2.1-1build7.dsc
 4d2016113e17ea7d63fc8661875c4470 2432 ocaml optional coq-deriving_0.2.1-1build7.debian.tar.xz
 371907c2d7d73e2568ef769e8fbaf3a1 6870 ocaml optional coq-deriving_0.2.1-1build7_source.buildinfo