Bug#1078549: FTBFS with OCaml 5.2.0 on ppc64el

[julien.puydt@gmail.com]

Hi,

Le lundi 12 août 2024 à 12:43 +0200, Stéphane Glondu a écrit :
> Source: coq-elpi
> Version: 2.1.0-1
> Severity: serious
> 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 on ppc64el:
> 
>    https://buildd.debian.org/status/package.php?p=coq-elpi
> 
> 
> Cheers,
> 

I'm trying to investigate the matter.

Thanks for your huge work on the OCaml transition!

JP