Builds for acl2 in Ubuntu Xenial

Build started on 2016-04-28 on z13-015 and finished on 2016-04-28 taking 2 hours — see the log

Build started on 2016-04-26 on bos01-ppc64el-020 and finished on 2016-04-26 taking 2 hours 40 minutes — see the log

Build started on 2016-04-22 on bos01-ppc64el-016 and finished on 2016-04-22 taking 13 minutes — see the log

Build started on 2016-04-22 on lgw01-12 and finished on 2016-04-22 taking 3 hours — see the log

Build started on 2016-04-14 on bos01-ppc64el-005 and finished on 2016-04-14 taking 2 hours 20 minutes — see the log

Missing dependencies: gcl (>= 2.6.12-28)

Build started on 2016-04-20 on z13-017 and finished on 2016-04-20 taking 2 minutes — see the log

Missing dependencies: gcl (>= 2.6.12-14)

Build started on 2016-04-20 on z13-027 and finished on 2016-04-20 taking 3 minutes — see the log

Build started on 2016-04-14 on bos01-ppc64el-013 and finished on 2016-04-14 taking 14 minutes — see the log

Build started on 2015-10-29 on denneed02 (powerpc) and finished on 2015-10-29 taking 3 hours 30 minutes — see the log

Build started on 2015-10-30 on lcy01-34 and finished on 2015-10-30 taking 3 hours 40 minutes — see the log

Build started on 2015-10-29 on kishi12 (highbank) and finished on 2015-10-29 taking 12 hours — see the log

Build started on 2015-12-30 on beebe (arm64) and finished on 2015-12-30 taking 6 hours — see the log

Build started on 2016-04-14 on lgw01-07 and finished on 2016-04-14 taking 2 hours 30 minutes — see the log

Build started on 2015-10-24 on bos01-ppc64el-013 and finished on 2015-10-24 taking 3 minutes — see the log

Build started on 2015-10-24 on fisher03 (powerpc) and finished on 2015-10-24 taking 3 hours 30 minutes — see the log

Build started on 2015-10-24 on kishi04 (highbank) and finished on 2015-10-24 taking 11 hours — see the log

Build started on 2015-10-25 on twombly (arm64) and finished on 2015-10-26 taking 5 hours 50 minutes — see the log

Build started on 2015-09-15 on denneed03 (powerpc) and finished on 2015-09-16 taking 2 hours 30 minutes — see the log

Build started on 2015-06-02 on denneed02 (powerpc) and finished on 2015-06-02 taking 3 hours 30 minutes — see the log

Build started on 2015-06-01 on batsu (i386/amd64) and finished on 2015-06-02 taking 2 hours 50 minutes — see the log

Build started on 2015-06-02 on kishi00 (highbank) and finished on 2015-06-02 taking 12 hours — see the log

Build started on 2015-06-02 on templar (arm64) and finished on 2015-06-02 taking 12 hours — see the log

Build started on 2015-06-27 on tipua (i386/amd64) and finished on 2015-06-27 taking 6 hours 30 minutes — see the log