[ubuntu/resolute-proposed] hol-light 1:3.1.0-2build2 (Accepted)

[Gianfranco Costamagna]

hol-light (1:3.1.0-2build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:25:48 +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.1.0-2build2
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:25:48 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.1.0-2build2
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.1.0-2build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f24edae45b738ebcf86afc7101c5c872dd21b0a1 2079 hol-light_3.1.0-2build2.dsc
 f05e98838ba9f9bef8eb54a1bb34e477fa643c83 19744 hol-light_3.1.0-2build2.debian.tar.xz
 954497ef0f4f363441fd9a720ef2785c4da2adf6 7159 hol-light_3.1.0-2build2_source.buildinfo
Checksums-Sha256:
 be1e486e04c9432708482cbb25834aa137aad969c2382abbb4fcce4a5ac24f15 2079 hol-light_3.1.0-2build2.dsc
 7b086002939e7ea71de6c4b53776bd607565db98274ec843c428193f6ecfc2bb 19744 hol-light_3.1.0-2build2.debian.tar.xz
 75fb2045adb6ce2b217462ad9e1d63679ba0338795e63f144820f144e9568a6c 7159 hol-light_3.1.0-2build2_source.buildinfo
Files:
 26c207f3a898a357152643c79c1f7bcf 2079 math optional hol-light_3.1.0-2build2.dsc
 caeae63f872ce7444e164c0077552a09 19744 math optional hol-light_3.1.0-2build2.debian.tar.xz
 599094aee5830c292d37150667b9d847 7159 math optional hol-light_3.1.0-2build2_source.buildinfo