Package: src:coq Version: 8.8.2-1 Severity: serious Tags: sid buster according to https://buildd.debian.org/status/package.php?p=coq the package fails to build at least on armel and the mips* architectures.
- Bug#919462: coq ftbfs on some release architect... Matthias Klose
- Processed: Re: Bug#919462: coq ftbfs on so... Debian Bug Tracking System
- Bug#919462: coq ftbfs on some release arch... Benjamin Barenblat
- Bug#919462: coq ftbfs on some release ... Adrian Bunk
- Bug#919462: coq ftbfs on some rele... Benjamin Barenblat
- Processed: Re: Bug#919462: coq ftbfs on so... Debian Bug Tracking System
- Bug#919462: marked as done (coq FTBFS on a... Debian Bug Tracking System