Issues found in current buildd logs for agda:
- W build-stamp-in-binary (alpha, amd64, arm64, hurd-i386, i386, mips64el, ppc64, ppc64el, riscv64, s390x)
- W compiler-flags-hidden 1 (of 2) hidden (alpha, amd64, arm64, hurd-i386, i386, mips64el, ppc64, ppc64el, riscv64, s390x)
- W dpkg-buildflags-missing CPPFLAGS 1 (of 1), CFLAGS 1 (of 1), LDFLAGS 1 (of 1) missing (alpha, amd64, arm64, hurd-i386, i386, mips64el, ppc64, ppc64el, riscv64, s390x)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- alpha 2.6.3-1 2023-11-08 04:25
- amd64 2.6.3-1+b3 2024-04-13 17:28
- arm64 2.6.3-1+b2 2024-04-13 20:07
- hurd-i386 2.6.3-1+b1 2023-11-25 13:37
- i386 2.6.3-1+b1 2024-04-13 19:21
- mips64el 2.6.3-1+b1 2024-04-14 08:44
- ppc64 2.6.3-1+b7 2024-04-13 16:46
- ppc64el 2.6.3-1+b3 2024-04-13 17:49
- riscv64 2.6.3-1+b2 2024-04-17 07:56
- s390x 2.6.3-1+b1 2024-04-13 18:16