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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 18:48:47 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 18:48:47 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.1.0-2build1
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-2build1) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 294b93dca2f7ff6d1b62de8e9195ae37313793b6 2079 hol-light_3.1.0-2build1.dsc
 8b104ef83cbb5b17fbf07a8f81b2371fd5118c75 19740 hol-light_3.1.0-2build1.debian.tar.xz
 02374519581c4eaa0828c419aad391a6b25620bc 7159 hol-light_3.1.0-2build1_source.buildinfo
Checksums-Sha256:
 74def3e09057a5afe95af1dc1014b3210b317cd43f8f6980388b006496231c6b 2079 hol-light_3.1.0-2build1.dsc
 17419b709d567c7939adfaffebf73ee1f7a8cbe20e0eb5ab055af62c3dfb9c34 19740 hol-light_3.1.0-2build1.debian.tar.xz
 c1f9eb5af84c2e151cf4fa1819501d7caf3f0256a86196b7252c2300c45fcc31 7159 hol-light_3.1.0-2build1_source.buildinfo
Files:
 1cb0e75be9137867c614b2a03b00e656 2079 math optional hol-light_3.1.0-2build1.dsc
 cd692f1e62116c08e643fb6201903bce 19740 math optional hol-light_3.1.0-2build1.debian.tar.xz
 7322c99960589126ba0448c2ee82b6cd 7159 math optional hol-light_3.1.0-2build1_source.buildinfo