Package: ftp.debian.org Usertags: rm X-Debbugs-Cc: debian-ocaml-ma...@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