Package: ftp.debian.org X-Debbugs-CC: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Please remove all binary packages depending on the already-removed src:elpi package on the armhf architecture: libcoq-elpi libcoq-hierarchy-builder coq-hierarchy-builder libcoq-mathcomp-algebra-tactics libcoq-mathcomp-analysis Sorry for not getting things right directly, J.Puydt
