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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 13:34:18 +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-2build10
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 13:34:18 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build10
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-2build10) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 77749a745f5e192eb10e7bdf7bc3897036d7faf1 2067 hol-light_3.0.0-2build10.dsc
 fd7199bfd0137df52f40851dfe05b22476e0b356 11164 hol-light_3.0.0-2build10.debian.tar.xz
 24292e122abde14b00b2081132dec57f55d56b9f 7010 hol-light_3.0.0-2build10_source.buildinfo
Checksums-Sha256:
 3b7d449e4c41119407148eadebeb4f297e95b165f9705facc8434bf32ce0b8c4 2067 hol-light_3.0.0-2build10.dsc
 a78b9e904890f9c8c588c41cc81fef6eb10071c0d8a1f14d68d48f7cb83d5117 11164 hol-light_3.0.0-2build10.debian.tar.xz
 5d99927b7b8d44ce20d886ba89f96cb1fa68bb2855497a86f979ccd9044af0bc 7010 hol-light_3.0.0-2build10_source.buildinfo
Files:
 f49d9b2b2976683d6561466f5347e1eb 2067 math optional hol-light_3.0.0-2build10.dsc
 caed03382841a6f4eaf251d3233775c7 11164 math optional hol-light_3.0.0-2build10.debian.tar.xz
 efeac45233c1569a93f9034726fbdfc7 7010 math optional hol-light_3.0.0-2build10_source.buildinfo