Issues found in current buildd logs for coq-math-classes:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.19.0-1+b7 2024-11-20 16:34
- arm64 8.19.0-1+b6 2024-11-20 17:08
- ppc64el 8.19.0-1+b7 2024-11-20 16:46
- riscv64 8.19.0-1+b6 2024-11-20 16:47
- s390x 8.19.0-1+b6 2024-11-21 09:33