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.20-1 2024-06-25 07:16
- arm64 9.0.0+coq8.20-1 2024-06-25 07:18
- armhf 9.0.0+coq8.20-1 2024-06-25 07:16
- i386 9.0.0+coq8.20-1 2024-06-25 07:17
- loong64 9.0.0+coq8.20-1 2024-06-25 07:44
- ppc64 9.0.0+coq8.20-1 2024-06-25 07:38
- ppc64el 9.0.0+coq8.20-1 2024-06-25 07:17
- riscv64 9.0.0+coq8.20-1 2024-06-26 17:13
- s390x 9.0.0+coq8.20-1 2024-06-25 08:28