Issues found in current buildd logs for coq-elpi:
- W compiler-flags-hidden 1 (of 1) hidden (amd64, arm64, armhf, i386, loong64, ppc64el, riscv64, s390x)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 1.19.3-2+b2 2024-03-19 18:39
- arm64 1.19.3-2+b2 2024-03-19 18:45
- armhf 1.19.3-2+b2 2024-03-26 15:26
- i386 1.19.3-2+b2 2024-03-19 18:39
- loong64 1.19.3-2 2024-04-16 16:44
- ppc64el 1.19.3-2+b2 2024-03-19 18:37
- riscv64 1.19.3-2+b2 2024-04-11 02:56
- s390x 1.19.3-2+b2 2024-03-19 20:47