Le 22/07/2010 22:59, Cyril Brulebois a écrit :
> | 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
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+
2 matches
Mail list logo