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+b2 2024-06-15 13:02
- arm64 0.2.0-2+b2 2024-06-15 15:12
- armhf 0.2.0-2+b1 2024-06-15 13:14
- i386 0.2.0-2+b2 2024-06-15 13:01
- loong64 0.2.0-2+b1 2024-06-16 22:36
- ppc64 0.2.0-2 2024-06-19 03:40
- ppc64el 0.2.0-2+b2 2024-06-15 13:07
- riscv64 0.2.0-2+b2 2024-06-16 00:53
- s390x 0.2.0-2+b1 2024-06-16 00:39