Issues found in current buildd logs for coq-extructures:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 0.4.0-4+b7 2024-11-21 00:12
- arm64 0.4.0-4+b6 2024-11-20 20:58
- ppc64el 0.4.0-4+b6 2024-11-20 18:59
- riscv64 0.4.0-4+b6 2024-11-21 07:19
- s390x 0.4.0-4+b7 2024-11-22 10:30