Package: coq Version: 8.14.0+dfsg-6 Severity: grave X-Debbugs-CC: [email protected]
Don't migrate to testing until the bytecode architectures' situation is cleared. Cheers, J. Puydt
- Bug#1000573: Bytecode architectures blocking bu... Julien Puydt
- Bug#1000573: marked as done (Bytecode arch... Debian Bug Tracking System
- Bug#1000573: Upstream uninterested Stéphane Glondu
