Issues found in current buildd logs for coq-reglang:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 1.2.1-3+b2 2024-06-15 13:05
- arm64 1.2.1-3+b2 2024-06-15 15:15
- armhf 1.2.1-3+b1 2024-06-15 13:15
- i386 1.2.1-3+b2 2024-06-15 13:03
- loong64 1.2.1-3+b1 2024-06-16 22:38
- ppc64 1.2.1-3 2024-06-19 03:40
- ppc64el 1.2.1-3+b2 2024-06-15 13:02
- riscv64 1.2.1-3+b2 2024-06-16 01:04
- s390x 1.2.1-3+b1 2024-06-16 00:32