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
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