Debian Quality Assurance  /  buildd log scanner

Issues found in current buildd logs for coq-unicoq:

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

Found 1 issues.

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

• amd64 1.6-8.17-1+b2 2023-09-22 12:38
• arm64 1.6-8.17-1+b2 2023-09-22 12:41
• armhf 1.6-8.17-1+b2 2023-09-22 12:40
• i386 1.6-8.17-1+b2 2023-09-22 12:38
• ppc64el 1.6-8.17-1+b2 2023-09-22 12:40
• riscv64 1.6-8.17-1+b1 2023-09-23 19:22
• s390x 1.6-8.17-1+b2 2023-09-22 12:41

---

Back to the Debian Project homepage.

---