Builds for aac-tactics in Ubuntu Groovy

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-09-22 on bos02-s390x-014 and finished on 2020-09-22 taking 1 minute — see the log

Build started on 2020-09-22 on riscv64-qemu-lcy01-029 and finished on 2020-09-22 taking 25 minutes — see the log

Build started on 2020-09-22 on bos02-ppc64el-009 and finished on 2020-09-22 taking 5 minutes — see the log

Build started on 2020-09-22 on bos02-arm64-053 and finished on 2020-09-22 taking 4 minutes — see the log

Build started on 2020-09-22 on bos02-arm64-006 and finished on 2020-09-22 taking 5 minutes — see the log

Build started on 2020-09-22 on lgw01-amd64-037 and finished on 2020-09-22 taking 7 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-08-23 on bos02-s390x-009 and finished on 2020-08-23 taking 50 seconds — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-08-23 on bos02-s390x-009 and finished on 2020-08-23 taking 50 seconds — see the log

Build started on 2020-09-15 on riscv64-qemu-lcy01-069 and finished on 2020-09-15 taking 26 minutes — see the log

Build started on 2020-09-15 on riscv64-qemu-lcy01-069 and finished on 2020-09-15 taking 26 minutes — see the log

Build started on 2020-08-23 on bos02-ppc64el-028 and finished on 2020-08-23 taking 3 minutes — see the log

Build started on 2020-08-23 on bos02-ppc64el-028 and finished on 2020-08-23 taking 3 minutes — see the log

Build started on 2020-09-15 on bos02-arm64-002 and finished on 2020-09-15 taking 4 minutes — see the log

Build started on 2020-09-15 on bos02-arm64-002 and finished on 2020-09-15 taking 4 minutes — see the log

Build started on 2020-08-23 on bos02-arm64-079 and finished on 2020-08-23 taking 5 minutes — see the log

Build started on 2020-08-23 on bos02-arm64-079 and finished on 2020-08-23 taking 5 minutes — see the log

Build started on 2020-08-23 on lcy01-amd64-029 and finished on 2020-08-23 taking 3 minutes — see the log

Build started on 2020-08-23 on lcy01-amd64-029 and finished on 2020-08-23 taking 3 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-08-11 on bos02-s390x-020 and finished on 2020-08-11 taking 2 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-08-11 on bos02-s390x-020 and finished on 2020-08-11 taking 2 minutes — see the log

Build started on 2020-08-11 on bos02-ppc64el-014 and finished on 2020-08-11 taking 4 minutes — see the log

Build started on 2020-08-11 on bos02-ppc64el-014 and finished on 2020-08-11 taking 4 minutes — see the log

Build started on 2020-08-11 on bos02-arm64-004 and finished on 2020-08-11 taking 6 minutes — see the log

Build started on 2020-08-11 on bos02-arm64-004 and finished on 2020-08-11 taking 6 minutes — see the log

Build started on 2020-08-11 on lgw01-amd64-053 and finished on 2020-08-11 taking 5 minutes — see the log

Build started on 2020-08-11 on lgw01-amd64-053 and finished on 2020-08-11 taking 5 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-05-13 on bos02-s390x-015 and finished on 2020-05-13 taking 1 minute — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-05-13 on bos02-s390x-015 and finished on 2020-05-13 taking 1 minute — see the log

Build started on 2020-05-13 on bos02-ppc64el-014 and finished on 2020-05-13 taking 3 minutes — see the log

Build started on 2020-05-13 on bos02-ppc64el-014 and finished on 2020-05-13 taking 3 minutes — see the log

Build started on 2020-05-13 on bos02-arm64-052 and finished on 2020-05-13 taking 5 minutes — see the log

Build started on 2020-05-13 on bos02-arm64-052 and finished on 2020-05-13 taking 5 minutes — see the log

Build started on 2020-05-13 on lcy01-amd64-004 and finished on 2020-05-13 taking 4 minutes — see the log

Build started on 2020-05-13 on lcy01-amd64-004 and finished on 2020-05-13 taking 4 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

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

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-04-13 on bos02-s390x-008 and finished on 2020-04-13 taking 50 seconds — see the log

Build started on 2020-03-18 on bos02-ppc64el-007 and finished on 2020-03-18 taking 4 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2020-04-13 on bos02-arm64-004 and finished on 2020-04-13 taking 2 minutes — see the log

Build started on 2020-03-18 on bos02-arm64-024 and finished on 2020-03-18 taking 5 minutes — see the log

Build started on 2020-03-18 on lcy01-amd64-006 and finished on 2020-03-18 taking 5 minutes — see the log