Debian Quality Assurance  /  buildd log scanner

Issues found in current buildd logs for paramcoq:

• 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 1.1.3+coq8.20-1 2024-11-20 14:11
• arm64 1.1.3+coq8.20-1 2024-11-20 14:52
• ppc64el 1.1.3+coq8.20-1 2024-11-20 14:53
• riscv64 1.1.3+coq8.20-1 2024-11-20 14:22
• s390x 1.1.3+coq8.20-1 2024-11-21 03:50

---

Back to the Debian Project homepage.

---