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, -- Stéphane
