Debian Quality Assurance  /  buildd log scanner

Issues found in current buildd logs for coq-reduction-effects:

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

Found 1 issues.

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

• amd64 0.1.4-3 2023-01-25 08:08
• arm64 0.1.4-3 2023-01-25 08:07
• armhf 0.1.4-3 2023-01-25 08:06
• hurd-i386 0.1.4-3 2023-01-25 15:37
• i386 0.1.4-3 2023-01-25 08:07
• ppc64 0.1.4-3 2023-01-25 08:17
• ppc64el 0.1.4-3 2023-01-26 21:43
• riscv64 0.1.4-3 2023-01-25 08:22
• s390x 0.1.4-3 2023-01-25 08:05

---

Back to the Debian Project homepage.

---