Builds for agda in Ubuntu Zesty

Build started on 2017-01-27 on z13-014 and finished on 2017-01-27 taking 34 minutes — see the log

Build started on 2017-01-27 on z13-014 and finished on 2017-01-27 taking 34 minutes — see the log

Build started on 2017-01-27 on bos01-ppc64el-021 and finished on 2017-01-27 taking 19 minutes — see the log

Build started on 2017-01-27 on bos01-ppc64el-021 and finished on 2017-01-27 taking 19 minutes — see the log

Build started on 2017-01-27 on denneed03 (powerpc) and finished on 2017-01-27 taking 22 minutes — see the log

Build started on 2017-01-27 on denneed03 (powerpc) and finished on 2017-01-27 taking 22 minutes — see the log

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

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

Build started on 2017-01-27 on bos01-arm64-036 and finished on 2017-01-27 taking 2 hours 20 minutes — see the log

Build started on 2017-01-27 on bos01-arm64-036 and finished on 2017-01-27 taking 2 hours 20 minutes — see the log

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

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

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

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

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

Build started on 2017-01-27 on bos01-ppc64el-026 and finished on 2017-01-27 taking 6 minutes — see the log

Build started on 2017-01-27 on denneed03 (powerpc) and finished on 2017-01-27 taking 7 minutes — see the log

Build started on 2017-01-27 on lgw01-17 and finished on 2017-01-27 taking 7 minutes — see the log

Build started on 2017-01-27 on bos01-arm64-012 and finished on 2017-01-27 taking 38 minutes — see the log

Build started on 2017-01-27 on bos01-arm64-048 and finished on 2017-01-27 taking 35 minutes — see the log

Build started on 2017-01-27 on lgw01-18 and finished on 2017-01-27 taking 6 minutes — see the log

Build started on 2017-01-26 on z13-014 and finished on 2017-01-26 taking 10 minutes — see the log

Build started on 2017-01-26 on bos01-ppc64el-028 and finished on 2017-01-26 taking 2 minutes — see the log

Build started on 2017-01-26 on denneed03 (powerpc) and finished on 2017-01-26 taking 6 minutes — see the log

Build started on 2017-01-26 on lcy01-08 and finished on 2017-01-26 taking 2 minutes — see the log

Build started on 2017-01-26 on bos01-arm64-006 and finished on 2017-01-26 taking 6 minutes — see the log

Build started on 2017-01-26 on bos01-arm64-041 and finished on 2017-01-26 taking 3 minutes — see the log

Build started on 2017-01-26 on lgw01-56 and finished on 2017-01-26 taking 4 minutes — see the log

Build started on 2016-11-13 on z13-017 and finished on 2016-11-13 taking 41 minutes — see the log

Build started on 2016-11-13 on z13-017 and finished on 2016-11-13 taking 41 minutes — see the log

Build started on 2016-12-18 on bos01-ppc64el-015 and finished on 2016-12-18 taking 2 minutes — see the log

Build started on 2016-12-18 on bos01-ppc64el-015 and finished on 2016-12-18 taking 2 minutes — see the log

Build started on 2016-11-13 on fisher07 (powerpc) and finished on 2016-11-13 taking 25 minutes — see the log

Build started on 2016-11-13 on fisher07 (powerpc) and finished on 2016-11-13 taking 25 minutes — see the log

Build started on 2016-11-13 on lcy01-04 and finished on 2016-11-13 taking 19 minutes — see the log

Build started on 2016-11-13 on lcy01-04 and finished on 2016-11-13 taking 19 minutes — see the log

Build started on 2016-11-13 on bos01-arm64-008 and finished on 2016-11-13 taking 2 hours — see the log

Build started on 2016-11-13 on bos01-arm64-008 and finished on 2016-11-13 taking 2 hours — see the log

Build started on 2016-11-13 on bos01-arm64-005 and finished on 2016-11-13 taking 2 hours 10 minutes — see the log

Build started on 2016-11-13 on bos01-arm64-005 and finished on 2016-11-13 taking 2 hours 10 minutes — see the log

Build started on 2016-11-13 on lcy01-06 and finished on 2016-11-13 taking 34 minutes — see the log

Build started on 2016-11-13 on lcy01-06 and finished on 2016-11-13 taking 34 minutes — see the log

Build started on 2016-10-22 on z13-019 and finished on 2016-10-22 taking 36 minutes — see the log

Build started on 2016-10-22 on z13-019 and finished on 2016-10-22 taking 36 minutes — see the log

Build started on 2016-11-03 on bos01-ppc64el-015 and finished on 2016-11-03 taking 1 minute — see the log

Build started on 2016-11-03 on bos01-ppc64el-015 and finished on 2016-11-03 taking 1 minute — see the log

Build started on 2016-10-22 on fisher07 (powerpc) and finished on 2016-10-22 taking 20 minutes — see the log

Build started on 2016-10-22 on fisher07 (powerpc) and finished on 2016-10-22 taking 20 minutes — see the log

Build started on 2016-10-22 on lgw01-15 and finished on 2016-10-22 taking 15 minutes — see the log

Build started on 2016-10-22 on lgw01-15 and finished on 2016-10-22 taking 15 minutes — see the log