Issues found in current buildd logs for why3:
In the last run, there were no currently detectable issues found in the logs of why3.Scanned logs (date is the date the log was generated, not the date it was scanned):
- alpha 1.6.0-1+b5 2024-03-18 05:56
- amd64 1.6.0-1+b5 2024-03-13 07:21
- arm64 1.6.0-1+b5 2024-03-13 02:52
- armel 1.6.0-1+b5 2024-03-25 17:48
- armhf 1.6.0-1+b5 2024-03-25 11:03
- hppa 1.6.0-1+b5 2024-04-23 13:02
- hurd-i386 1.6.0-1+b6 2024-03-13 11:41
- i386 1.6.0-1+b5 2024-03-13 08:21
- loong64 1.6.0-1 2024-04-16 16:08
- mips64el 1.6.0-1+b5 2024-03-15 09:59
- powerpc 1.6.0-1+b5 2024-04-01 01:22
- ppc64el 1.6.0-1+b5 2024-03-13 03:54
- riscv64 1.6.0-1+b6 2024-03-14 03:23
- s390x 1.6.0-1+b5 2024-03-14 04:47
- sparc64 1.6.0-1+b5 2024-03-14 07:57