Bug#1000573: Bytecode architectures blocking bug

[Julien Puydt]

Package: coq
Version: 8.14.0+dfsg-6
Severity: grave
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org

Don't migrate to testing until the bytecode architectures' situation is
cleared.

Cheers,

J. Puydt