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-ma...@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
