Issues found in current buildd logs for coq-elpi:
- W compiler-flags-hidden 1 (of 1) hidden (amd64, arm64, armhf, i386, loong64, ppc64, ppc64el, riscv64, s390x)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 2.1.0-1+b2 2024-06-15 10:50
- arm64 2.1.0-1+b2 2024-06-15 10:49
- armhf 2.1.0-1+b1 2024-06-15 10:58
- i386 2.1.0-1+b2 2024-06-15 10:52
- loong64 2.1.0-1+b2 2024-06-16 18:46
- ppc64 2.1.0-1 2024-06-19 00:44
- ppc64el 2.1.0-1+b2 2024-06-15 10:50
- riscv64 2.1.0-1+b2 2024-06-15 11:43
- s390x 2.1.0-1+b1 2024-06-15 21:16