Builds for acl2 in Ubuntu Zesty

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

Build started on 2017-04-21 on bos01-arm64-041 and finished on 2017-04-22 taking 13 hours — see the log

Build started on 2017-04-09 on bos01-ppc64el-021 and finished on 2017-04-09 taking 17 minutes — see the log

Build started on 2016-11-03 on z13-020 and finished on 2016-11-03 taking 3 hours 30 minutes — see the log

Build started on 2016-11-03 on bos01-ppc64el-015 and finished on 2016-11-03 taking 4 hours 30 minutes — see the log

Build started on 2016-11-03 on denneed08 (powerpc) and finished on 2016-11-03 taking 4 hours 40 minutes — see the log

Build started on 2016-11-03 on lcy01-27 and finished on 2016-11-03 taking 7 hours 30 minutes — see the log

Build started on 2016-11-03 on bos01-arm64-006 and finished on 2016-11-04 taking 14 hours — see the log

Build started on 2017-04-09 on bos01-arm64-027 and finished on 2017-04-09 taking 13 hours — see the log

Build started on 2016-11-03 on lgw01-13 and finished on 2016-11-03 taking 8 hours 20 minutes — see the log

Build started on 2016-10-18 on bos01-ppc64el-002 and finished on 2016-10-18 taking 15 minutes — see the log

Build started on 2016-10-18 on bos01-arm64-026 and finished on 2016-10-18 taking 7 hours 50 minutes — see the log

Build started on 2016-10-11 on z13-008 and finished on 2016-10-11 taking 3 hours — see the log

Build started on 2016-09-26 on bos01-ppc64el-030 and finished on 2016-09-26 taking 16 minutes — see the log

Build started on 2016-09-26 on fisher04 (powerpc) and finished on 2016-09-27 taking 6 hours 20 minutes — see the log

Build started on 2016-09-26 on lcy01-36 and finished on 2016-09-27 taking 6 hours — see the log

Build started on 2016-09-26 on bos01-arm64-008 and finished on 2016-09-27 taking 13 hours — see the log

Build started on 2016-10-11 on bos01-arm64-007 and finished on 2016-10-12 taking 6 hours 50 minutes — see the log

Build started on 2016-09-26 on lcy01-02 and finished on 2016-09-27 taking 6 hours 50 minutes — see the log

Build started on 2016-05-04 on z13-019 and finished on 2016-05-05 taking 3 hours 30 minutes — see the log

Build started on 2016-08-31 on bos01-ppc64el-029 and finished on 2016-08-31 taking 15 minutes — see the log

Build started on 2016-05-04 on sagari (powerpc) and finished on 2016-05-05 taking 4 hours 40 minutes — see the log

Build started on 2016-05-04 on lgw01-59 and finished on 2016-05-05 taking 7 hours 30 minutes — see the log

Build started on 2016-05-04 on kishi11 (highbank) and finished on 2016-05-05 taking 24 hours — see the log

Build started on 2016-05-08 on magic (arm64) and finished on 2016-05-09 taking 13 hours — see the log

Build started on 2016-05-04 on lgw01-11 and finished on 2016-05-05 taking 6 hours 40 minutes — see the log