Issues found in current buildd logs for coq-unimath:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 20231010-1+b1 2024-03-19 23:48
- arm64 20231010-1+b1 2024-03-19 23:24
- armhf 20231010-1+b1 2024-03-26 20:11
- hurd-i386 20231010-1+b1 2024-03-20 14:50
- i386 20231010-1+b1 2024-03-19 23:57
- loong64 20231010-1 2024-04-17 04:03
- ppc64el 20231010-1+b1 2024-03-20 01:15
- riscv64 20231010-1+b1 2024-04-15 03:59
- s390x 20231010-1+b1 2024-03-20 02:34