Issues found in current buildd logs for agda:
- I no-compiler-commands (amd64, arm64, hppa, i386, powerpc, ppc64, ppc64el, s390x, sparc64, x32)
- W build-stamp-in-binary (amd64, arm64, hppa, i386, powerpc, ppc64, ppc64el, s390x, sparc64, x32)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 2.6.1-1+b3 2021-10-03 10:06
- arm64 2.6.1-1+b3 2021-10-03 14:20
- hppa 2.6.1-1+b3 2021-10-05 17:15
- i386 2.6.1-1+b3 2021-10-03 10:10
- powerpc 2.6.1-1+b3 2021-10-04 03:30
- ppc64 2.6.1-1+b3 2021-10-04 02:06
- ppc64el 2.6.1-1+b3 2021-10-03 11:15
- s390x 2.6.1-1+b4 2021-10-03 11:34
- sparc64 2.6.1-1+b3 2021-10-04 10:35
- x32 2.6.1-1+b2 2021-10-04 06:17