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.0.1-1+b1 2019-09-13 14:45
- arm64 2.6.0.1-1+b1 2019-09-13 17:09
- hppa 2.6.0.1-1 2019-09-07 01:23
- i386 2.6.0.1-1+b1 2019-09-13 17:13
- powerpc 2.6.0.1-1 2019-09-04 02:05
- ppc64 2.6.0.1-1 2019-09-02 19:06
- ppc64el 2.6.0.1-1+b1 2019-09-13 13:59
- riscv64 2.6.0.1-1+b1 2019-09-13 14:27
- s390x 2.6.0.1-1+b1 2019-09-13 15:12
- sparc64 2.6.0.1-1+b1 2019-09-03 13:22
- x32 2.6.0.1-1 2019-09-04 14:11