Builds for acl2 in Ubuntu Jammy

Build started on 2021-12-18 on bos02-s390x-014 and finished on 2021-12-18 taking 9 hours 20 minutes — see the log

Build started on 2021-12-18 on bos02-s390x-014 and finished on 2021-12-18 taking 9 hours 20 minutes — see the log

Build started on 2022-03-17 on riscv64-qemu-lcy01-062 and finished on 2022-03-18 taking 8 hours 20 minutes

Build started on 2022-03-17 on riscv64-qemu-lcy01-062 and finished on 2022-03-18 taking 8 hours 20 minutes

Build started on 2021-12-25 on bos02-ppc64el-020 and finished on 2021-12-25 taking 11 hours — see the log

Build started on 2021-12-25 on bos02-ppc64el-020 and finished on 2021-12-25 taking 11 hours — see the log

Build started on 2021-12-24 on bos02-arm64-013 and finished on 2021-12-26 taking 44 hours — see the log

Build started on 2021-12-24 on bos02-arm64-013 and finished on 2021-12-26 taking 44 hours — see the log

Build started on 2021-12-24 on bos02-arm64-056 and finished on 2021-12-26 taking 46 hours — see the log

Build started on 2021-12-24 on bos02-arm64-056 and finished on 2021-12-26 taking 46 hours — see the log

Build started on 2021-12-18 on lcy02-amd64-032 and finished on 2021-12-18 taking 11 hours — see the log

Build started on 2021-12-18 on lcy02-amd64-032 and finished on 2021-12-18 taking 11 hours — see the log

Build started on 2021-10-31 on bos02-s390x-011 and finished on 2021-10-31 taking 2 minutes — see the log

Build started on 2021-10-31 on bos02-ppc64el-026 and finished on 2021-10-31 taking 2 minutes — see the log

Build started on 2021-10-31 on bos02-arm64-028 and finished on 2021-10-31 taking 5 minutes — see the log

Build started on 2021-10-31 on bos02-arm64-076 and finished on 2021-10-31 taking 3 minutes — see the log

Build started on 2021-10-31 on lcy01-amd64-005 and finished on 2021-10-31 taking 9 minutes — see the log

Build started on 2021-10-22 on bos02-s390x-009 and finished on 2021-10-22 taking 3 minutes — see the log

Build started on 2021-10-22 on bos02-ppc64el-024 and finished on 2021-10-22 taking 4 minutes — see the log

Build started on 2021-10-18 on bos02-arm64-025 and finished on 2021-10-19 taking 21 hours — see the log

Build started on 2021-10-18 on bos02-arm64-017 and finished on 2021-10-19 taking 28 hours — see the log

Build started on 2021-10-22 on lgw01-amd64-003 and finished on 2021-10-22 taking 5 minutes — see the log

Build started on 2021-01-27 on bos02-s390x-020 and finished on 2021-01-28 taking 6 hours — see the log

Missing dependencies: gcl (>= 2.6.12-92)

Build started on 2021-01-27 on riscv64-qemu-lcy01-087 and finished on 2021-01-27 taking 13 minutes — see the log

Build started on 2021-03-28 on bos02-ppc64el-027 and finished on 2021-03-28 taking 9 hours 40 minutes — see the log

Build started on 2021-01-27 on bos02-arm64-043 and finished on 2021-01-29 taking 30 hours — see the log

Build started on 2021-03-28 on bos02-arm64-017 and finished on 2021-03-29 taking 27 hours — see the log

Build started on 2021-01-27 on lcy01-amd64-026 and finished on 2021-01-28 taking 7 hours 30 minutes — see the log