Builds for acl2 in Ubuntu Focal

Missing dependencies: gcl (>= 2.6.12-92)

Build started on 2020-04-21 on riscv64-qemu-lcy01-065 and finished on 2020-04-21 taking 4 minutes — see the log

Missing dependencies: gcl (>= 2.6.12-92)

Build started on 2020-04-21 on riscv64-qemu-lcy01-065 and finished on 2020-04-21 taking 4 minutes — see the log

Build started on 2020-03-23 on bos02-s390x-004 and finished on 2020-03-23 taking 5 hours 20 minutes — see the log

Build started on 2020-03-23 on bos02-s390x-004 and finished on 2020-03-23 taking 5 hours 20 minutes — see the log

Build started on 2020-03-23 on bos02-ppc64el-027 and finished on 2020-03-23 taking 8 hours 30 minutes — see the log

Build started on 2020-03-23 on bos02-ppc64el-027 and finished on 2020-03-23 taking 8 hours 30 minutes — see the log

Build started on 2020-03-23 on bos02-arm64-047 and finished on 2020-03-24 taking 25 hours — see the log

Build started on 2020-03-23 on bos02-arm64-047 and finished on 2020-03-24 taking 25 hours — see the log

Build started on 2020-03-23 on bos02-arm64-040 and finished on 2020-03-24 taking 26 hours — see the log

Build started on 2020-03-23 on bos02-arm64-040 and finished on 2020-03-24 taking 26 hours — see the log

Build started on 2020-03-23 on lgw01-amd64-053 and finished on 2020-03-23 taking 6 hours 40 minutes — see the log

Build started on 2020-03-23 on lgw01-amd64-053 and finished on 2020-03-23 taking 6 hours 40 minutes — see the log

Build started on 2019-12-31 on bos02-s390x-014 and finished on 2019-12-31 taking 6 hours 20 minutes — see the log

Build started on 2019-12-31 on bos02-s390x-014 and finished on 2019-12-31 taking 6 hours 20 minutes — see the log

Build started on 2019-12-31 on bos02-ppc64el-016 and finished on 2019-12-31 taking 8 hours 40 minutes — see the log

Build started on 2019-12-31 on bos02-ppc64el-016 and finished on 2019-12-31 taking 8 hours 40 minutes — see the log

Build started on 2019-12-31 on bos02-arm64-003 and finished on 2020-01-01 taking 23 hours — see the log

Build started on 2019-12-31 on bos02-arm64-003 and finished on 2020-01-01 taking 23 hours — see the log

Build started on 2019-12-31 on bos02-arm64-041 and finished on 2020-01-01 taking 25 hours — see the log

Build started on 2019-12-31 on bos02-arm64-041 and finished on 2020-01-01 taking 25 hours — see the log

Build started on 2019-12-31 on lgw01-amd64-038 and finished on 2019-12-31 taking 7 hours 40 minutes — see the log

Build started on 2019-12-31 on lgw01-amd64-038 and finished on 2019-12-31 taking 7 hours 40 minutes — see the log

Build started on 2019-12-27 on bos02-s390x-014 and finished on 2019-12-27 taking 5 hours — see the log

Build started on 2019-12-27 on bos02-ppc64el-005 and finished on 2019-12-27 taking 7 hours 10 minutes — see the log

Build started on 2019-12-27 on an unknown build machine and finished on 2019-12-27 taking 8 hours 40 minutes

Build started on 2019-12-27 on an unknown build machine and finished on 2019-12-27 taking 8 hours 40 minutes

Build started on 2019-12-27 on lgw01-amd64-059 and finished on 2019-12-27 taking 6 hours — see the log

Build started on 2019-12-19 on bos02-s390x-014 and finished on 2019-12-20 taking 4 hours 40 minutes — see the log

Build started on 2019-12-19 on bos02-s390x-014 and finished on 2019-12-20 taking 4 hours 40 minutes — see the log

Build started on 2019-12-19 on bos02-ppc64el-014 and finished on 2019-12-20 taking 7 hours 20 minutes — see the log

Build started on 2019-12-19 on bos02-ppc64el-014 and finished on 2019-12-20 taking 7 hours 20 minutes — see the log

Build started on 2019-12-19 on bos02-arm64-060 and finished on 2019-12-20 taking 20 hours — see the log

Build started on 2019-12-19 on bos02-arm64-060 and finished on 2019-12-20 taking 20 hours — see the log

Build started on 2019-12-19 on bos02-arm64-063 and finished on 2019-12-20 taking 21 hours — see the log

Build started on 2019-12-19 on bos02-arm64-063 and finished on 2019-12-20 taking 21 hours — see the log

Build started on 2019-12-19 on lcy01-amd64-004 and finished on 2019-12-20 taking 5 hours 30 minutes — see the log

Build started on 2019-12-19 on lcy01-amd64-004 and finished on 2019-12-20 taking 5 hours 30 minutes — see the log

Build started on 2019-12-09 on bos02-s390x-007 and finished on 2019-12-10 taking 4 hours 20 minutes — see the log

Build started on 2019-12-09 on bos02-s390x-007 and finished on 2019-12-10 taking 4 hours 20 minutes — see the log

Build started on 2019-12-09 on bos02-ppc64el-030 and finished on 2019-12-10 taking 7 hours 10 minutes — see the log

Build started on 2019-12-09 on bos02-ppc64el-030 and finished on 2019-12-10 taking 7 hours 10 minutes — see the log

Build started on 2019-12-09 on bos02-arm64-001 and finished on 2019-12-10 taking 22 hours — see the log

Build started on 2019-12-09 on bos02-arm64-001 and finished on 2019-12-10 taking 22 hours — see the log

Build started on 2019-12-09 on bos02-arm64-042 and finished on 2019-12-10 taking 19 hours — see the log

Build started on 2019-12-09 on bos02-arm64-042 and finished on 2019-12-10 taking 19 hours — see the log

Build started on 2019-12-09 on lcy01-amd64-013 and finished on 2019-12-10 taking 9 hours 10 minutes — see the log

Build started on 2019-12-09 on lcy01-amd64-013 and finished on 2019-12-10 taking 9 hours 10 minutes — see the log

Build started on 2019-12-08 on bos02-s390x-009 and finished on 2019-12-09 taking 4 hours 20 minutes — see the log

Build started on 2019-12-08 on bos02-ppc64el-029 and finished on 2019-12-08 taking 11 minutes — see the log

Build started on 2019-12-08 on bos02-arm64-023 and finished on 2019-12-09 taking 17 hours — see the log

Build started on 2019-12-08 on bos02-arm64-005 and finished on 2019-12-09 taking 18 hours — see the log

Build started on 2019-12-08 on lgw01-amd64-039 and finished on 2019-12-09 taking 5 hours 30 minutes — see the log

Build started on 2019-10-31 on bos02-s390x-003 and finished on 2019-11-01 taking 4 hours 20 minutes — see the log

Build started on 2019-11-03 on bos02-ppc64el-028 and finished on 2019-11-03 taking 6 minutes — see the log

Build started on 2019-10-31 on lgw01-amd64-039 and finished on 2019-11-01 taking 6 hours — see the log

Build started on 2019-10-31 on bos02-arm64-060 and finished on 2019-11-01 taking 24 hours — see the log

Build started on 2019-10-31 on bos02-arm64-046 and finished on 2019-11-02 taking 25 hours — see the log

Build started on 2019-10-31 on lcy01-amd64-026 and finished on 2019-11-01 taking 5 hours 30 minutes — see the log

Build started on 2019-04-21 on bos02-s390x-008 and finished on 2019-04-21 taking 4 hours 20 minutes — see the log

Build started on 2019-04-21 on bos02-ppc64el-001 and finished on 2019-04-21 taking 7 hours 30 minutes — see the log

Build started on 2019-04-21 on lgw01-amd64-039 and finished on 2019-04-21 taking 9 hours 10 minutes — see the log

Build started on 2019-04-21 on bos02-arm64-012 and finished on 2019-04-22 taking 19 hours — see the log

Build started on 2019-04-21 on bos02-arm64-038 and finished on 2019-04-22 taking 21 hours — see the log

Build started on 2019-04-21 on lcy01-amd64-013 and finished on 2019-04-21 taking 5 hours 30 minutes — see the log