Builds for coq in Ubuntu Bionic

Build started on 2017-10-28 on z13-008 and finished on 2017-10-28 taking 25 minutes — see the log

Build started on 2017-10-28 on z13-008 and finished on 2017-10-28 taking 25 minutes — see the log

Build started on 2017-10-28 on bos01-ppc64el-030 and finished on 2017-10-28 taking 25 minutes — see the log

Build started on 2017-10-28 on bos01-ppc64el-030 and finished on 2017-10-28 taking 25 minutes — see the log

Build started on 2017-10-28 on lcy01-17 and finished on 2017-10-28 taking 31 minutes — see the log

Build started on 2017-10-28 on lcy01-17 and finished on 2017-10-28 taking 31 minutes — see the log

Build started on 2017-10-28 on bos01-arm64-017 and finished on 2017-10-28 taking 1 hour — see the log

Build started on 2017-10-28 on bos01-arm64-017 and finished on 2017-10-28 taking 1 hour — see the log

Build started on 2017-10-28 on bos01-arm64-013 and finished on 2017-10-28 taking 1 hour 10 minutes — see the log

Build started on 2017-10-28 on bos01-arm64-013 and finished on 2017-10-28 taking 1 hour 10 minutes — see the log

Build started on 2017-10-28 on lcy01-16 and finished on 2017-10-28 taking 29 minutes — see the log

Build started on 2017-10-28 on lcy01-16 and finished on 2017-10-28 taking 29 minutes — see the log

Build started on 2017-10-27 on z13-009 and finished on 2017-10-27 taking 1 minute — see the log

Build started on 2017-10-27 on bos01-ppc64el-005 and finished on 2017-10-27 taking 1 minute — see the log

Build started on 2017-10-27 on lgw01-amd64-049 and finished on 2017-10-27 taking 1 minute — see the log

Build started on 2017-10-27 on bos01-arm64-019 and finished on 2017-10-27 taking 2 minutes — see the log

Build started on 2017-10-27 on bos01-arm64-015 and finished on 2017-10-27 taking 3 minutes — see the log

Build started on 2017-10-27 on lgw01-amd64-046 and finished on 2017-10-27 taking 1 minute — see the log

Build started on 2017-10-27 on bos01-arm64-025 and finished on 2017-10-27 taking 8 minutes — see the log

Build started on 2017-07-27 on z13-018 and finished on 2017-07-27 taking 29 minutes — see the log

Build started on 2017-07-28 on bos01-ppc64el-022 and finished on 2017-07-28 taking 24 minutes — see the log

Build started on 2017-07-27 on lgw01-47 and finished on 2017-07-27 taking 35 minutes — see the log

Build started on 2017-07-27 on bos01-arm64-032 and finished on 2017-07-27 taking 1 hour — see the log

Build started on 2020-02-21 on bos02-arm64-035 and finished on 2020-02-21 taking 7 minutes — see the log

Build started on 2017-07-27 on lgw01-41 and finished on 2017-07-27 taking 1 hour 10 minutes — see the log