Issues found in current buildd logs for coq-equations:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 1.3-8.17-2+b1 2023-09-22 13:05
- arm64 1.3-8.17-2+b1 2023-09-22 13:13
- armhf 1.3-8.17-2+b1 2023-09-22 13:05
- hurd-i386 1.3-8.17-2+b1 2023-09-30 21:50
- i386 1.3-8.17-2+b1 2023-09-22 13:05
- ppc64el 1.3-8.17-2+b1 2023-09-22 13:10
- riscv64 1.3-8.17-2+b1 2023-09-23 22:56
- s390x 1.3-8.17-2+b1 2023-09-22 13:06