Bug#1078578: RM: coq-elpi and others [ppc64el] -- ROM; FTBFS

[Stéphane Glondu <glondu@debian.org>]

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