Issues found in current buildd logs for coq-serapi:
- I no-compiler-commands (amd64, arm64, ppc64el, riscv64)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.20.0+0.20.0-1 2024-11-20 14:19
- arm64 8.20.0+0.20.0-1 2024-11-20 14:53
- ppc64el 8.20.0+0.20.0-1 2024-11-20 14:53
- riscv64 8.20.0+0.20.0-1 2024-11-20 16:24