Issues found in current buildd logs for coq-math-classes:
- I no-compiler-commands (amd64, arm64, armhf, hurd-i386, i386, loong64, ppc64, ppc64el, riscv64, s390x)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.19.0-1+b2 2024-06-25 09:51
- arm64 8.19.0-1+b2 2024-06-25 09:53
- armhf 8.19.0-1+b2 2024-06-25 09:58
- hurd-i386 8.19.0-1+b1 2024-06-16 00:04
- i386 8.19.0-1+b2 2024-06-25 09:50
- loong64 8.19.0-1+b2 2024-06-25 09:51
- ppc64 8.19.0-1+b1 2024-06-25 09:34
- ppc64el 8.19.0-1+b2 2024-06-25 09:51
- riscv64 8.19.0-1+b2 2024-06-30 17:13
- s390x 8.19.0-1+b2 2024-06-25 10:22