Builds for camlp5 in Ubuntu Bionic

Build started on 2017-10-27 on z13-010 and finished on 2017-10-27 taking 5 minutes — see the log

Build started on 2017-10-27 on z13-010 and finished on 2017-10-27 taking 5 minutes — see the log

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

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

Build started on 2017-10-27 on lcy01-01 and finished on 2017-10-27 taking 4 minutes — see the log

Build started on 2017-10-27 on lcy01-01 and finished on 2017-10-27 taking 4 minutes — see the log

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

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

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

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

Build started on 2017-10-27 on lgw01-amd64-055 and finished on 2017-10-27 taking 4 minutes — see the log

Build started on 2017-10-27 on lgw01-amd64-055 and finished on 2017-10-27 taking 4 minutes — see the log

Build started on 2017-07-24 on z13-015 and finished on 2017-07-24 taking 4 minutes — see the log

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

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

Build started on 2017-07-24 on bos01-arm64-048 and finished on 2017-07-24 taking 8 minutes — see the log

Build started on 2017-07-24 on bos01-arm64-001 and finished on 2017-07-24 taking 5 minutes — see the log

Build started on 2017-07-24 on lgw01-10 and finished on 2017-07-24 taking 4 minutes — see the log