Source: hol-light Version: 20231021-1 Severity: important Tags: ftbfs User: debian-ocaml-ma...@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
