[ubuntu/noble-proposed] hol-light 20231021-1build3 (Accepted)

[Gianfranco Costamagna]

hol-light (20231021-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 19 Feb 2024 07:56:40 +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/20231021-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 19 Feb 2024 07:56:40 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 hol-light (20231021-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6aaa466cb2449fa65b68c133d594df7e76d9c989 2061 hol-light_20231021-1build3.dsc
 f3e0b1d3c0654b2368abcd0b22fe45a9ce861be0 10968 hol-light_20231021-1build3.debian.tar.xz
 9773447e7bde5108040138128f4581e98ac50d73 7819 hol-light_20231021-1build3_source.buildinfo
Checksums-Sha256:
 ba9a3aae6b6065fa90248c01fdd69230d590ad36b8034b4eeb7f242167ee70d4 2061 hol-light_20231021-1build3.dsc
 78bd621bd6d339a47ac9c06a83690c20603e78505102bccae3bd64b4d51fc1e4 10968 hol-light_20231021-1build3.debian.tar.xz
 7d2f211194ab41eac8da4be4871b5b80e08463157b1aeec10686dff1f861af12 7819 hol-light_20231021-1build3_source.buildinfo
Files:
 5996c116d1bc94e79cf8e1b54490bc48 2061 math optional hol-light_20231021-1build3.dsc
 f905f2afdb7c7b24be348b4587de4f02 10968 math optional hol-light_20231021-1build3.debian.tar.xz
 2b2db27f57aae2bcaa9873a550c585f2 7819 math optional hol-light_20231021-1build3_source.buildinfo