Debian Quality Assurance  /  buildd log scanner

Issues found in current buildd logs for coq-elpi:

• W compiler-flags-hidden 1 (of 17) hidden (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 2.3.0-1+b1 2025-01-15 04:03
• arm64 2.3.0-1+b1 2025-01-15 04:09
• ppc64el 2.3.0-1+b1 2025-01-15 04:04
• riscv64 2.3.0-1+b1 2025-01-15 06:41
• s390x 2.3.0-1+b1 2025-01-15 07:10

---

Back to the Debian Project homepage.

---