Issues found in current buildd logs for coq-bignums:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 9.0.0+coq8.19-1 2024-04-27 21:55
- arm64 9.0.0+coq8.19-1 2024-04-27 21:55
- armhf 9.0.0+coq8.19-1 2024-04-27 21:56
- i386 9.0.0+coq8.19-1 2024-04-27 17:33
- loong64 9.0.0+coq8.19-1 2024-04-27 16:57
- ppc64el 9.0.0+coq8.19-1 2024-04-27 16:57
- riscv64 9.0.0+coq8.19-1 2024-04-27 17:28
- s390x 9.0.0+coq8.19-1 2024-04-27 21:10