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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml libraries

Date: Thu, 08 May 2025 19:57:45 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/hol-light/1:3.0.0-2build8
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 19:57:45 -0400
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build8
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 hol-light (1:3.0.0-2build8) questing; urgency=medium
 .
   * Rebuild against latest ocaml libraries
Checksums-Sha1:
 d6f4c85807fb3552c64b12f057959447da0b6065 2063 hol-light_3.0.0-2build8.dsc
 f8a502c2af99f61c257e5760595072ee6e603762 11128 hol-light_3.0.0-2build8.debian.tar.xz
 8f48014d2e717e2cac37e97afebb5b5872162710 6895 hol-light_3.0.0-2build8_source.buildinfo
Checksums-Sha256:
 f10ab194087313944bf456aadc1ab280b37ab96fd5da9f676271844ff3260ae8 2063 hol-light_3.0.0-2build8.dsc
 3de388cd83b00e8bec24911765fd186524e9c6fd16d7a9ff46778c1788ee28a7 11128 hol-light_3.0.0-2build8.debian.tar.xz
 79106143b7dbf7a8834d95940e0f09ab7eecb47f9cb099cf21bcded6cacd871b 6895 hol-light_3.0.0-2build8_source.buildinfo
Files:
 94c65b540bace619983e911148795ed4 2063 math optional hol-light_3.0.0-2build8.dsc
 8366aad1065a6c74ea8e86f65cc45ed2 11128 math optional hol-light_3.0.0-2build8.debian.tar.xz
 8f57254c5038d9104d5acd71583950ac 6895 math optional hol-light_3.0.0-2build8_source.buildinfo