Issues found in current buildd logs for acl2:
- W build-stamp-in-binary (amd64, arm64, armel, armhf, i386, mips64el, powerpc, ppc64, ppc64el, riscv64, s390x, sparc64)
- W compiler-flags-hidden 1 (of 11) hidden (i386)
- W compiler-flags-hidden 1 (of 2) hidden (amd64, arm64, armel, armhf, mips64el, powerpc, ppc64, ppc64el, riscv64, s390x, sparc64)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.5dfsg-5+b1 2024-03-27 01:24
- arm64 8.5dfsg-5+b1 2024-03-26 23:43
- armel 8.5dfsg-5+b1 2024-03-27 21:24
- armhf 8.5dfsg-5+b1 2024-03-27 01:56
- i386 8.5dfsg-5+b1 2024-03-27 00:17
- mips64el 8.5dfsg-5+b2 2024-04-01 13:37
- powerpc 8.5dfsg-5+b1 2024-04-17 13:40
- ppc64 8.5dfsg-5+b1 2024-03-27 13:14
- ppc64el 8.5dfsg-5+b1 2024-03-26 23:34
- riscv64 8.5dfsg-5+b2 2024-04-05 00:45
- s390x 8.5dfsg-5+b1 2024-03-26 21:34
- sparc64 8.5dfsg-5+b1 2024-04-03 19:11