Issues found in current buildd logs for coq-elpi:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 2.1.0-1 2024-04-27 21:58
- arm64 2.1.0-1 2024-04-27 21:58
- i386 2.1.0-1 2024-04-27 17:36
- loong64 2.1.0-1 2024-04-27 17:02
- ppc64el 2.1.0-1 2024-04-27 17:00
- riscv64 2.1.0-1 2024-04-27 18:05