Bug#1001493: RM: coq [alpha armel hppa ia64 m68k mips64el mipsel sh4 sparc64 x32] -- RoM ; abandoned upstream

[Julien Puydt <julien.puydt@gmail.com>]

Package: ftp.debian.org
Usertags: rm
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org

Upstream decided those architectures weren't supported anymore ; I
removed support for them from my last upload, but they still have old
binary packages lying around in the unstable archive, and those should
get purged so we start with a clean slate, migrate coq and its deps
slowly into testing again.

(As far as I know the packages in testing archive got cleaned already
with bug #1000632 against release.debian.org.)

Thanks,

J.Puydt