Issues found in current buildd logs for coq:
In the last run, there were no currently detectable issues found in the logs of coq.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.18.0+dfsg-1+b1 2024-03-13 05:19
- arm64 8.18.0+dfsg-1+b1 2024-03-13 03:26
- armhf 8.18.0+dfsg-1+b1 2024-03-25 11:08
- hurd-i386 8.18.0+dfsg-1+b1 2024-03-14 04:27
- i386 8.18.0+dfsg-1+b1 2024-03-13 05:44
- loong64 8.18.0+dfsg-1 2024-04-16 16:17
- ppc64el 8.18.0+dfsg-1+b1 2024-03-13 04:20
- riscv64 8.18.0+dfsg-1+b1 2024-03-27 09:04
- s390x 8.18.0+dfsg-1+b1 2024-03-13 11:45