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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 19 Feb 2024 19:39:39 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Mon, 19 Feb 2024 19:39:39 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build4
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-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 07f6724867872debe96ea48bd88e8662af364dd7 2061 hol-light_20231021-1build4.dsc
 a2d7eb936462de4e86979d7117605c5715d6e1c0 10976 hol-light_20231021-1build4.debian.tar.xz
 3741e351453f5d09591f030414d4d370e410f352 7819 hol-light_20231021-1build4_source.buildinfo
Checksums-Sha256:
 1d848aeba15743f4df229303763d0555dbee8fb3d6641264d66ca4a9b2023f4d 2061 hol-light_20231021-1build4.dsc
 2e96b164ffbf74145dae9613fbc83e3e6112d8f912aad921b2714d818b0a8712 10976 hol-light_20231021-1build4.debian.tar.xz
 6091d0b2c1b7ad09708a828bae0301f2c31abef00492ba680f98cc25836ed7a3 7819 hol-light_20231021-1build4_source.buildinfo
Files:
 a08275e503e19187fff320fc75c4f89a 2061 math optional hol-light_20231021-1build4.dsc
 144dbdb27bb05d2c030d90a4717b6ac8 10976 math optional hol-light_20231021-1build4.debian.tar.xz
 c66ba96411ebbfae5312b418b2fb184f 7819 math optional hol-light_20231021-1build4_source.buildinfo