Builds for coq-elpi in Ubuntu Kinetic

Build started on 2022-10-15 on bos02-s390x-003 and finished on 2022-10-15 taking 2 minutes — see the log

Build started on 2022-10-15 on bos02-s390x-003 and finished on 2022-10-15 taking 2 minutes — see the log

Build started on 2022-07-21 on riscv64-qemu-lgw01-089 and finished on 2022-07-21 taking 31 minutes — see the log

Build started on 2022-07-21 on riscv64-qemu-lgw01-089 and finished on 2022-07-21 taking 31 minutes — see the log

Build started on 2022-07-21 on bos02-ppc64el-010 and finished on 2022-07-21 taking 4 minutes — see the log

Build started on 2022-07-21 on bos02-ppc64el-010 and finished on 2022-07-21 taking 4 minutes — see the log

Build started on 2022-07-21 on bos02-arm64-045 and finished on 2022-07-21 taking 9 minutes — see the log

Build started on 2022-07-21 on bos02-arm64-045 and finished on 2022-07-21 taking 9 minutes — see the log

Build started on 2022-07-21 on bos02-arm64-050 and finished on 2022-07-21 taking 10 minutes — see the log

Build started on 2022-07-21 on bos02-arm64-050 and finished on 2022-07-21 taking 10 minutes — see the log

Build started on 2022-07-21 on lcy02-amd64-045 and finished on 2022-07-21 taking 2 minutes — see the log

Build started on 2022-07-21 on lcy02-amd64-045 and finished on 2022-07-21 taking 2 minutes — see the log

Build started on 2022-06-12 on bos02-s390x-004 and finished on 2022-06-12 taking 5 minutes — see the log

Build started on 2022-06-12 on bos02-s390x-004 and finished on 2022-06-12 taking 5 minutes — see the log

Build started on 2022-06-12 on riscv64-qemu-lgw01-001 and finished on 2022-06-12 taking 36 minutes — see the log

Build started on 2022-06-12 on riscv64-qemu-lgw01-001 and finished on 2022-06-12 taking 36 minutes — see the log

Build started on 2022-06-13 on bos02-ppc64el-003 and finished on 2022-06-13 taking 4 minutes — see the log

Build started on 2022-06-13 on bos02-ppc64el-003 and finished on 2022-06-13 taking 4 minutes — see the log

Build started on 2022-06-12 on bos02-arm64-002 and finished on 2022-06-12 taking 9 minutes — see the log

Build started on 2022-06-12 on bos02-arm64-002 and finished on 2022-06-12 taking 9 minutes — see the log

Build started on 2022-06-12 on bos02-arm64-063 and finished on 2022-06-12 taking 12 minutes — see the log

Build started on 2022-06-12 on bos02-arm64-063 and finished on 2022-06-12 taking 12 minutes — see the log

Build started on 2022-06-12 on lcy02-amd64-086 and finished on 2022-06-12 taking 3 minutes — see the log

Build started on 2022-06-12 on lcy02-amd64-086 and finished on 2022-06-12 taking 3 minutes — see the log

Build started on 2022-06-12 on bos02-s390x-011 and finished on 2022-06-12 taking 6 minutes — see the log

Build started on 2022-06-12 on riscv64-qemu-lgw01-069 and finished on 2022-06-12 taking 40 minutes — see the log

Build started on 2022-06-12 on bos02-ppc64el-005 and finished on 2022-06-12 taking 4 minutes

Build started on 2022-06-12 on bos02-arm64-014 and finished on 2022-06-12 taking 11 minutes — see the log

Build started on 2022-06-12 on bos02-arm64-044 and finished on 2022-06-12 taking 13 minutes — see the log

Build started on 2022-06-12 on lcy02-amd64-083 and finished on 2022-06-12 taking 3 minutes — see the log

Build started on 2022-06-03 on bos02-s390x-010 and finished on 2022-06-03 taking 2 minutes — see the log

Build started on 2022-06-03 on bos02-s390x-010 and finished on 2022-06-03 taking 2 minutes — see the log

Build started on 2022-06-01 on riscv64-qemu-lgw01-015 and finished on 2022-06-01 taking 36 minutes — see the log

Build started on 2022-06-01 on riscv64-qemu-lgw01-015 and finished on 2022-06-01 taking 36 minutes — see the log

Build started on 2022-06-01 on bos02-ppc64el-030 and finished on 2022-06-01 taking 4 minutes — see the log

Build started on 2022-06-01 on bos02-ppc64el-030 and finished on 2022-06-01 taking 4 minutes — see the log

Build started on 2022-06-01 on bos02-arm64-018 and finished on 2022-06-01 taking 8 minutes — see the log

Build started on 2022-06-01 on bos02-arm64-018 and finished on 2022-06-01 taking 8 minutes — see the log

Build started on 2022-06-01 on bos02-arm64-051 and finished on 2022-06-01 taking 10 minutes — see the log

Build started on 2022-06-01 on bos02-arm64-051 and finished on 2022-06-01 taking 10 minutes — see the log

Build started on 2022-06-01 on lcy02-amd64-006 and finished on 2022-06-01 taking 2 minutes — see the log

Build started on 2022-06-01 on lcy02-amd64-006 and finished on 2022-06-01 taking 2 minutes — see the log

Build started on 2022-06-01 on bos02-s390x-012 and finished on 2022-06-01 taking 2 minutes — see the log

Build started on 2022-06-01 on riscv64-qemu-lgw01-016 and finished on 2022-06-01 taking 38 minutes — see the log

Build started on 2022-06-01 on bos02-ppc64el-008 and finished on 2022-06-01 taking 4 minutes — see the log

Build started on 2022-06-01 on bos02-arm64-058 and finished on 2022-06-01 taking 1 hour 10 minutes — see the log

Build started on 2022-06-01 on bos02-arm64-061 and finished on 2022-06-01 taking 1 hour 10 minutes — see the log

Build started on 2022-06-01 on lcy02-amd64-007 and finished on 2022-06-01 taking 3 minutes — see the log

Build started on 2022-05-21 on bos02-s390x-008 and finished on 2022-05-21 taking 6 minutes — see the log

Build started on 2022-05-21 on bos02-s390x-008 and finished on 2022-05-21 taking 6 minutes — see the log

Build started on 2022-05-21 on riscv64-qemu-lcy01-073 and finished on 2022-05-22 taking 47 minutes — see the log

Build started on 2022-05-21 on riscv64-qemu-lcy01-073 and finished on 2022-05-22 taking 47 minutes — see the log

Build started on 2022-05-21 on bos02-ppc64el-013 and finished on 2022-05-21 taking 8 minutes — see the log

Build started on 2022-05-21 on bos02-ppc64el-013 and finished on 2022-05-21 taking 8 minutes — see the log

Build started on 2022-05-21 on bos02-arm64-001 and finished on 2022-05-21 taking 12 minutes — see the log

Build started on 2022-05-21 on bos02-arm64-001 and finished on 2022-05-21 taking 12 minutes — see the log

Build started on 2022-05-21 on bos02-arm64-016 and finished on 2022-05-21 taking 14 minutes — see the log

Build started on 2022-05-21 on bos02-arm64-016 and finished on 2022-05-21 taking 14 minutes — see the log

Build started on 2022-05-21 on lcy02-amd64-120 and finished on 2022-05-21 taking 5 minutes — see the log

Build started on 2022-05-21 on lcy02-amd64-120 and finished on 2022-05-21 taking 5 minutes — see the log

Build started on 2022-05-14 on bos02-s390x-011 and finished on 2022-05-14 taking 4 minutes — see the log

Build started on 2022-05-14 on bos02-s390x-011 and finished on 2022-05-14 taking 4 minutes — see the log

Build started on 2022-05-14 on riscv64-qemu-lcy01-025 and finished on 2022-05-14 taking 37 minutes — see the log

Build started on 2022-05-14 on riscv64-qemu-lcy01-025 and finished on 2022-05-14 taking 37 minutes — see the log

Build started on 2022-05-14 on bos02-ppc64el-021 and finished on 2022-05-14 taking 5 minutes — see the log

Build started on 2022-05-14 on bos02-ppc64el-021 and finished on 2022-05-14 taking 5 minutes — see the log

Build started on 2022-05-14 on bos02-arm64-014 and finished on 2022-05-14 taking 11 minutes — see the log

Build started on 2022-05-14 on bos02-arm64-014 and finished on 2022-05-14 taking 11 minutes — see the log

Build started on 2022-05-14 on bos02-arm64-071 and finished on 2022-05-14 taking 8 minutes — see the log

Build started on 2022-05-14 on bos02-arm64-071 and finished on 2022-05-14 taking 8 minutes — see the log

Build started on 2022-05-14 on lcy02-amd64-027 and finished on 2022-05-14 taking 3 minutes — see the log

Build started on 2022-05-14 on lcy02-amd64-027 and finished on 2022-05-14 taking 3 minutes — see the log

Build started on 2022-05-14 on bos02-s390x-005 and finished on 2022-05-14 taking 1 minute — see the log

Build started on 2022-05-14 on riscv64-qemu-lcy01-007 and finished on 2022-05-14 taking 17 minutes — see the log

Build started on 2022-05-14 on bos02-ppc64el-004 and finished on 2022-05-14 taking 1 minute — see the log