Bug#1073882: FTBFS with OCaml 5.2.0 (Needs porting)

[Stephane Glondu <glondu@debian.org>]

Source: hol-light
Version: 20231021-1
Severity: important
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-5.2.0-transition

Dear Maintainer,

Your package FTBFS with OCaml 5.2.0 for the following reason:

  Needs porting

A full log is available at:

  http://ocaml.debian.net/transitions/ocaml-5.2.0/pool/hol-light.log

A repository with all relevant packages recompiled with OCaml 5.2.0 is
available at the following address:

  http://ocaml.debian.net/transitions/ocaml-5.2.0/


Cheers,

-- 
Stephane