Package: ftp.debian.org Usertags: rm X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org Since coq upstream abandoned some architecture, coq isn't available anymore on those architectures, and lingering binary packages prevent testing migration. Apparently the coq binary packages can't be removed until reverse dependencies have been too. Cheers, J.Puydt