Issues found in current buildd logs for coq-relation-algebra:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 1.7.10-3+b3 2024-06-15 13:07
- arm64 1.7.10-3+b3 2024-06-15 15:17
- armhf 1.7.10-3+b2 2024-06-15 13:16
- i386 1.7.10-3+b3 2024-06-15 13:05
- loong64 1.7.10-3+b2 2024-06-16 22:53
- ppc64 1.7.10-3 2024-06-19 03:49
- ppc64el 1.7.10-3+b3 2024-06-15 13:04
- riscv64 1.7.10-3+b3 2024-06-16 01:22
- s390x 1.7.10-3+b2 2024-06-16 00:34