Issues found in current buildd logs for coq-interval:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 4.11.0-1+b2 2024-06-25 09:52
- arm64 4.11.0-1+b2 2024-06-25 09:51
- armhf 4.11.0-1+b2 2024-06-25 09:56
- i386 4.11.0-1+b2 2024-06-25 09:53
- loong64 4.11.0-1+b1 2024-06-25 09:54
- ppc64 4.11.0-1+b1 2024-06-25 09:35
- ppc64el 4.11.0-1+b2 2024-06-25 09:52
- riscv64 4.11.0-1+b2 2024-06-30 17:09
- s390x 4.11.0-1+b2 2024-06-25 11:14