Package: ftp.debian.org Severity: normal Tags: ftbfs X-Debbugs-Cc: [email protected], [email protected] Control: affects -1 + src:coq-elpi User: [email protected] Usertags: remove User: [email protected] Usertags: ocaml-5.2.0-transition
Dear FTP Team, coq-elpi FTBFS with OCaml 5.2.0 on ppc64el: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078549 I have no idea how to fix this for now, and this is delaying the OCaml transition. Meanwhile, please remove its binaries and reverse-dependencies from unstable on ppc64el: coq-elpi coq-hierarchy-builder ssreflect coq-deriving coq-quickchick coq-reglang coq-relation-algebra coquelicot mathcomp-bigenough mathcomp-finmap mathcomp-zify coq-extructures coq-interval mathcomp-algebra-tactics mathcomp-analysis mathcomp-multinomials mathcomp-real-closed coqeal Cheers, -- Stéphane
