Source: coq Version: 8.3~beta0+13298-1 Severity: serious Justification: FTBFS User: debian-sp...@lists.debian.org Usertags: sparc
Hi, your package no longer builds on sparc: | Makefile:56: cannot run complexity tests (no bogomips found) | make[5]: Entering directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298/test-suite' | Makefile:56: cannot run complexity tests (no bogomips found) | make[5]: Leaving directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298/test-suite' | make[4]: Leaving directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298/test-suite' | if grep -F 'Error!' test-suite/summary.log ; then false; fi | success/Nsatz.v...Error! (should be accepted) | success/Nsatz_domain.v...Error! (should be accepted) | bugs/closed/shouldsucceed/2145.v...Error! (bug seems to be opened, please check) | micromega/bertot.v...Error! (should be accepted) | micromega/example.v...Error! (should be accepted) | micromega/qexample.v...Error! (should be accepted) | micromega/rexample.v...Error! (should be accepted) | micromega/square.v...Error! (should be accepted) | micromega/zomicron.v...Error! (should be accepted) | make[3]: *** [test-suite] Error 1 | make[3]: Leaving directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298' | make[2]: *** [check] Error 2 Full build logs: https://buildd.debian.org/status/package.php?p=coq&suite=experimental Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
