Issues found in current buildd logs for coq-ext-lib:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 0.12.1-1 2024-04-27 21:59
- arm64 0.12.1-1 2024-04-27 22:00
- armhf 0.12.1-1 2024-04-27 22:02
- hurd-i386 0.12.1-1 2024-04-27 18:09
- i386 0.12.1-1 2024-04-27 17:34
- ppc64el 0.12.1-1 2024-04-27 16:58
- riscv64 0.12.1-1 2024-04-27 17:24
- s390x 0.12.1-1 2024-04-27 22:32