[ubuntu/questing-proposed] hol-light 1:3.0.0-2build9 (Accepted)

[Gianfranco Costamagna]

hol-light (1:3.0.0-2build9) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 11:06:22 +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/hol-light/1:3.0.0-2build9
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 11:06:22 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build9
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 hol-light (1:3.0.0-2build9) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c640a32d012bb99154cad1a28754ac11a4b9dd8b 2063 hol-light_3.0.0-2build9.dsc
 c6e828629d80253eeff102d9c9a200419d56abb7 11144 hol-light_3.0.0-2build9.debian.tar.xz
 cae3a2b8d21d00f5da8f48853083b3af53cd9a16 7002 hol-light_3.0.0-2build9_source.buildinfo
Checksums-Sha256:
 0adf4b35e649f99693832a1f731661536b2be32f031eed133b52d04cba03d429 2063 hol-light_3.0.0-2build9.dsc
 71436def316b795092d570e1dc4081c389b92d7548cd393ebfee0c6be8c3604d 11144 hol-light_3.0.0-2build9.debian.tar.xz
 5178738178818f48543965f273378ec15060ed3d9c2178767a446bb9a0a5cbea 7002 hol-light_3.0.0-2build9_source.buildinfo
Files:
 a1a640bdf75c55b0b89991fb8b4bf039 2063 math optional hol-light_3.0.0-2build9.dsc
 a8914ebee490ec62df9799bc076d2ad9 11144 math optional hol-light_3.0.0-2build9.debian.tar.xz
 948c7c253775cbc3aecc1ce6197ac7d6 7002 math optional hol-light_3.0.0-2build9_source.buildinfo