[ubuntu/resolute-proposed] hol-light 1:3.0.0-2build12 (Accepted)

[Gianfranco Costamagna]

hol-light (1:3.0.0-2build12) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 03 Dec 2025 10:58:41 +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/hol-light/1:3.0.0-2build12
-------------- next part --------------
Format: 1.8
Date: Wed, 03 Dec 2025 10:58:41 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build12
Distribution: resolute
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-2build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a63376c3eee2d7eb0442aa322cb51c063ee57478 2067 hol-light_3.0.0-2build12.dsc
 0cc2747c1640fc9c4506208d6d236d25d5623ed1 11192 hol-light_3.0.0-2build12.debian.tar.xz
 881a811358e44d16e4d811af648144ca46e656b8 6885 hol-light_3.0.0-2build12_source.buildinfo
Checksums-Sha256:
 2d77e75c37cc19e9a52647d908c3ad16bfe9899f8848ab2e78c55ccd95634d3d 2067 hol-light_3.0.0-2build12.dsc
 ab9baf21d2f487f939e2ba659757cada2a422a6ea1010e90a8332599ee143b5d 11192 hol-light_3.0.0-2build12.debian.tar.xz
 02543250a2b9e6e4eac7a08487e3d3d10aee825e433a2f343b82224baa813734 6885 hol-light_3.0.0-2build12_source.buildinfo
Files:
 be418e7fa5deb05176925ae48fab4800 2067 math optional hol-light_3.0.0-2build12.dsc
 60b19ea98ec3035cef5f6f9d1fdf1055 11192 math optional hol-light_3.0.0-2build12.debian.tar.xz
 1c83a012490a5f241085de7e00e49b87 6885 math optional hol-light_3.0.0-2build12_source.buildinfo