Issues found in current buildd logs for coq-gappa:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 1.5.5-2+b4 2024-11-20 16:32
- arm64 1.5.5-2+b3 2024-11-20 17:06
- ppc64el 1.5.5-2+b4 2024-11-20 17:02
- riscv64 1.5.5-2+b3 2024-11-20 17:40
- s390x 1.5.5-2+b3 2024-11-21 09:38