Builds for agda in Ubuntu Xenial

138 of 38 results
[FAILEDTOBUILD] armhf build of agda 2.4.2.5-1build1 in ubuntu yakkety RELEASE
Build started on 2016-04-26 on kishi11 (highbank) and finished on 2016-04-26 taking 1 hour 40 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.5-1build1 in ubuntu yakkety RELEASE
Build started on 2016-04-26 on kishi11 (highbank) and finished on 2016-04-26 taking 1 hour 40 minutes — see the log
[FULLYBUILT] s390x build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on z13-008 and finished on 2016-01-12 taking 29 minutes — see the log
[FULLYBUILT] s390x build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on z13-008 and finished on 2016-01-12 taking 29 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on bos01-ppc64el-005 and finished on 2016-01-12 taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on bos01-ppc64el-005 and finished on 2016-01-12 taking 36 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on sagari (powerpc) and finished on 2016-01-12 taking 17 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on sagari (powerpc) and finished on 2016-01-12 taking 17 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on lgw01-48 and finished on 2016-01-12 taking 15 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on lgw01-48 and finished on 2016-01-12 taking 15 minutes — see the log
[FULLYBUILT] armhf build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2017-06-21 on bos01-arm64-034 and finished on 2017-06-21 taking 2 hours — see the log
[FULLYBUILT] armhf build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2017-06-21 on bos01-arm64-034 and finished on 2017-06-21 taking 2 hours — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on bos01-arm64-007 and finished on 2016-01-13 taking 1 hour 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on bos01-arm64-007 and finished on 2016-01-13 taking 1 hour 40 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on lcy01-28 and finished on 2016-01-12 taking 29 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.5-1build1 in ubuntu xenial PROPOSED
Build started on 2016-01-12 on lcy01-28 and finished on 2016-01-12 taking 29 minutes — see the log
[FULLYBUILT] s390x build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on z13-007 and finished on 2016-01-04 taking 27 minutes — see the log
[FULLYBUILT] s390x build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on z13-007 and finished on 2016-01-04 taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on bos01-ppc64el-009 and finished on 2016-01-04 taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on bos01-ppc64el-009 and finished on 2016-01-04 taking 35 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on fisher02 (powerpc) and finished on 2016-01-04 taking 16 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on fisher02 (powerpc) and finished on 2016-01-04 taking 16 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on lgw01-55 and finished on 2016-01-04 taking 13 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on lgw01-55 and finished on 2016-01-04 taking 13 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-31 on kishi15 (highbank) and finished on 2016-01-31 taking 1 hour 40 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-31 on kishi15 (highbank) and finished on 2016-01-31 taking 1 hour 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on bos01-arm64-017 and finished on 2016-01-05 taking 1 hour 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on bos01-arm64-017 and finished on 2016-01-05 taking 1 hour 40 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on lgw01-31 and finished on 2016-01-04 taking 24 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.5-1 in ubuntu xenial PROPOSED
Build started on 2016-01-04 on lgw01-31 and finished on 2016-01-04 taking 24 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
Missing dependencies: libghc-equivalence-dev (<< 0.3), libghc-mtl-dev (<< 2.1.3.2), libghc-quickcheck2-dev (<< 2.8)
Build started on 2015-12-30 on kishi03 (highbank) and finished on 2015-12-30 taking 4 minutes — see the log
[MANUALDEPWAIT] s390x build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
Missing dependencies: libghc-quickcheck2-dev (< 2.8)
Build started on 2015-12-19 on z13-016 and finished on 2015-12-19 taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on denneed03 (powerpc) and finished on 2015-08-16 taking 41 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on fisher01 (powerpc) and finished on 2015-08-16 taking 10 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on lgw01-37 and finished on 2015-08-16 taking 11 minutes — see the log
[FULLYBUILT] armhf build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2017-06-21 on bos01-arm64-030 and finished on 2017-06-21 taking 2 hours 10 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on twombly (arm64) and finished on 2015-08-16 taking 1 hour 20 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on lgw01-60 and finished on 2015-08-16 taking 17 minutes — see the log
138 of 38 results