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

Hi Bo, Le 15/10/2024 à 04:35, Bo YU a écrit : Given upstream's help, the package can be built on my local build now, see: https://github.com/jrh13/hol-light/issues/101#issuecomment-2411453740 Great to hear! But there are two issues blocks me to upload: 1. there is no doc which hits how to e

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

Hi, On Thu, Jun 20, 2024 at 06:35:49AM +, Stephane Glondu wrote: ... 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/ Given upstream's help, the package can be built on my local bu

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

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/