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.0-2 2024-04-30 15:02
- arm64 0.2.0-2 2024-04-30 15:03
- i386 0.2.0-2 2024-04-30 15:02
- loong64 0.2.0-2 2024-04-30 15:09
- ppc64el 0.2.0-2 2024-04-30 15:03
- riscv64 0.2.0-2 2024-04-30 17:11