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.1.0-2 2023-01-26 14:37
- arm64 0.1.0-2 2023-01-26 14:50
- armhf 0.1.0-2 2023-01-26 13:25
- hurd-i386 0.1.0-2 2023-01-26 15:59
- i386 0.1.0-2 2023-01-26 13:54
- ppc64 0.1.0-2 2023-01-26 13:48
- ppc64el 0.1.0-2 2023-01-27 03:59
- riscv64 0.1.0-2 2023-01-26 14:04
- s390x 0.1.0-2 2023-01-26 16:55