Builds for gprbuild in Ubuntu Bionic

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

Build started on 2017-09-27 on bos01-ppc64el-022 and finished on 2017-09-27 taking 7 minutes — see the log

Build started on 2017-09-27 on lgw01-amd64-030 and finished on 2017-09-27 taking 6 minutes — see the log

Build started on 2017-09-27 on bos01-arm64-024 and finished on 2017-09-27 taking 22 minutes — see the log

Build started on 2017-09-27 on bos01-arm64-035 and finished on 2017-09-27 taking 17 minutes — see the log

Build started on 2017-09-27 on lgw01-amd64-036 and finished on 2017-09-27 taking 5 minutes — see the log