Issues found in current buildd logs for coq-quickchick:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 2.0.3-2+b2 2024-06-15 13:04
- arm64 2.0.3-2+b2 2024-06-15 15:14
- armhf 2.0.3-2+b1 2024-06-15 13:14
- i386 2.0.3-2+b2 2024-06-15 13:02
- ppc64 2.0.3-2 2024-06-19 03:45
- ppc64el 2.0.3-2+b2 2024-06-15 13:01
- riscv64 2.0.3-2+b2 2024-06-16 00:53
- s390x 2.0.3-2+b1 2024-06-16 00:32