Debian Quality Assurance  /  buildd log scanner

Issues found in current buildd logs for coq-bignums:

• I no-compiler-commands (amd64, arm64, ppc64el, riscv64, s390x)

Found 1 issues.

Scanned logs (date is the date the log was generated, not the date it was scanned):

• amd64 9.0.0+coq8.20-1+b5 2024-11-20 16:29
• arm64 9.0.0+coq8.20-1+b4 2024-11-20 16:33
• ppc64el 9.0.0+coq8.20-1+b5 2024-11-20 16:29
• riscv64 9.0.0+coq8.20-1+b4 2024-11-20 15:43
• s390x 9.0.0+coq8.20-1+b4 2024-11-21 03:47

---

Back to the Debian Project homepage.

---