Package: ftp.debian.org Severity: normal Tags: ftbfs X-Debbugs-Cc: coq-e...@packages.debian.org, debian-ocaml-ma...@lists.debian.org Control: affects -1 + src:coq-elpi User: ftp.debian....@packages.debian.org Usertags: remove User: debian-ocaml-ma...@lists.debian.org 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
