Issues found in current buildd logs for agda:
- I no-compiler-commands (alpha, amd64, arm64, hppa, hurd-i386, i386, ia64, kfreebsd-amd64, kfreebsd-i386, m68k, mips, mips64el, mipsel, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
- W build-stamp-in-binary (alpha, amd64, arm64, hppa, hurd-i386, i386, ia64, kfreebsd-amd64, kfreebsd-i386, m68k, mips, mips64el, mipsel, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- alpha 2.5.4.1-3+b1 2018-12-15 05:51
- amd64 2.5.4.1-3+b1 2018-12-04 10:49
- arm64 2.5.4.1-3+b1 2018-12-04 13:22
- hppa 2.5.4.1-3+b2 2019-04-07 08:39
- hurd-i386 2.5.4.1-3+b1 2018-12-04 20:56
- i386 2.5.4.1-3+b1 2018-12-04 10:32
- ia64 2.5.4.1-3 2019-04-12 14:41
- kfreebsd-amd64 2.5.4.1-3 2018-12-18 18:14
- kfreebsd-i386 2.5.4.1-3 2018-12-22 21:00
- m68k 2.5.4.1-3+b1 2019-05-12 23:46
- mips 2.5.4.1-3+b1 2018-12-06 19:49
- mips64el 2.5.4.1-3+b1 2018-12-23 13:47
- mipsel 2.5.4.1-3+b1 2018-12-24 12:12
- ppc64 2.5.4.1-3 2018-12-21 18:24
- ppc64el 2.5.4.1-3+b1 2018-12-04 10:36
- riscv64 2.5.4.1-3+b1 2018-12-17 12:45
- s390x 2.5.4.1-3+b1 2018-12-04 10:50
- sparc64 2.5.4.1-3 2019-01-19 11:37
- x32 2.5.4.1-3 2018-12-21 17:24