Issues found in current buildd logs for coq-deriving:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 0.2.1-1+b2 2025-01-15 06:38
- arm64 0.2.1-1+b2 2025-01-15 08:05
- ppc64el 0.2.1-1+b2 2025-01-15 07:13
- riscv64 0.2.1-1+b2 2025-01-15 20:15
- s390x 0.2.1-1+b2 2025-01-15 10:59