Issues found in current buildd logs for agda:
- I no-compiler-commands (amd64, arm64, hppa, i386, powerpc, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
- W build-stamp-in-binary (amd64, arm64, hppa, i386, powerpc, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 2.6.1-1+b2 2020-08-19 19:42
- arm64 2.6.1-1+b2 2020-08-19 21:50
- hppa 2.6.1-1+b2 2020-09-17 18:48
- i386 2.6.1-1+b2 2020-08-19 22:46
- powerpc 2.6.1-1+b2 2020-08-30 04:40
- ppc64 2.6.1-1+b2 2020-08-29 22:14
- ppc64el 2.6.1-1+b2 2020-08-19 23:52
- riscv64 2.6.1-1+b1 2020-08-25 19:02
- s390x 2.6.1-1+b3 2020-08-20 00:32
- sparc64 2.6.1-1+b2 2020-08-30 17:24
- x32 2.6.1-1 2020-07-29 20:20