Builds for agda in Ubuntu Artful

167 of 67 results
[FULLYBUILT] s390x build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on z13-018 and finished on 2017-07-15 taking 34 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on z13-018 and finished on 2017-07-15 taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on bos01-ppc64el-026 and finished on 2017-07-15 taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on bos01-ppc64el-026 and finished on 2017-07-15 taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on lgw01-18 and finished on 2017-07-15 taking 15 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on lgw01-18 and finished on 2017-07-15 taking 15 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on bos01-arm64-008 and finished on 2017-07-15 taking 2 hours 50 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on bos01-arm64-008 and finished on 2017-07-15 taking 2 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on bos01-arm64-041 and finished on 2017-07-15 taking 2 hours 30 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on bos01-arm64-041 and finished on 2017-07-15 taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on lcy01-04 and finished on 2017-07-15 taking 40 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on 2017-07-15 on lcy01-04 and finished on 2017-07-15 taking 40 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on 2017-07-10 on z13-014 and finished on 2017-07-10 taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on 2017-07-10 on bos01-ppc64el-024 and finished on 2017-07-10 taking 20 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on 2017-07-10 on lcy01-36 and finished on 2017-07-10 taking 15 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on 2017-07-10 on bos01-arm64-044 and finished on 2017-07-11 taking 2 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on 2017-07-10 on bos01-arm64-048 and finished on 2017-07-11 taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on 2017-07-10 on lcy01-12 and finished on 2017-07-10 taking 24 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on 2017-07-10 on z13-017 and finished on 2017-07-10 taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on 2017-07-10 on bos01-ppc64el-004 and finished on 2017-07-10 taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on 2017-07-10 on lgw01-21 and finished on 2017-07-10 taking 18 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on 2017-07-10 on bos01-arm64-019 and finished on 2017-07-10 taking 4 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on 2017-07-10 on bos01-arm64-015 and finished on 2017-07-10 taking 4 hours 50 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on 2017-07-10 on lcy01-35 and finished on 2017-07-10 taking 40 minutes — see the log
[SUPERSEDED] s390x build of agda 2.5.2-1 in ubuntu artful PROPOSED
[SUPERSEDED] ppc64el build of agda 2.5.2-1 in ubuntu artful PROPOSED
[SUPERSEDED] i386 build of agda 2.5.2-1 in ubuntu artful PROPOSED
[SUPERSEDED] armhf build of agda 2.5.2-1 in ubuntu artful PROPOSED
[SUPERSEDED] arm64 build of agda 2.5.2-1 in ubuntu artful PROPOSED
[SUPERSEDED] amd64 build of agda 2.5.2-1 in ubuntu artful PROPOSED
[FAILEDTOBUILD] s390x build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on 2017-07-06 on z13-025 and finished on 2017-07-06 taking 2 minutes — see the log
[FAILEDTOBUILD] ppc64el build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on 2017-07-06 on bos01-ppc64el-016 and finished on 2017-07-06 taking 2 minutes — see the log
[FAILEDTOBUILD] i386 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on 2017-07-06 on lcy01-20 and finished on 2017-07-06 taking 2 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on 2017-07-06 on bos01-arm64-035 and finished on 2017-07-06 taking 2 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on 2017-07-06 on bos01-arm64-043 and finished on 2017-07-06 taking 2 minutes — see the log
[FAILEDTOBUILD] amd64 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on 2017-07-06 on lgw01-42 and finished on 2017-07-06 taking 2 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on z13-014 and finished on 2017-06-21 taking 36 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on z13-014 and finished on 2017-06-21 taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-ppc64el-013 and finished on 2017-06-21 taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-ppc64el-013 and finished on 2017-06-21 taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-32 and finished on 2017-06-21 taking 19 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-32 and finished on 2017-06-21 taking 19 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-23 on bos01-arm64-015 and finished on 2017-06-23 taking 1 hour 20 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-23 on bos01-arm64-015 and finished on 2017-06-23 taking 1 hour 20 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-arm64-015 and finished on 2017-06-21 taking 2 hours 30 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-arm64-015 and finished on 2017-06-21 taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-56 and finished on 2017-06-21 taking 43 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-56 and finished on 2017-06-21 taking 43 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on z13-018 and finished on 2017-06-21 taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-ppc64el-020 and finished on 2017-06-21 taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-11 and finished on 2017-06-21 taking 18 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-arm64-009 and finished on 2017-06-21 taking 2 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-arm64-044 and finished on 2017-06-21 taking 3 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-55 and finished on 2017-06-21 taking 32 minutes — see the log
[FAILEDTOBUILD] s390x build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on z13-018 and finished on 2017-06-21 taking 1 minute — see the log
[FAILEDTOBUILD] ppc64el build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-ppc64el-017 and finished on 2017-06-21 taking 1 minute — see the log
[FAILEDTOBUILD] i386 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lgw01-31 and finished on 2017-06-21 taking 2 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-arm64-009 and finished on 2017-06-21 taking 2 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on bos01-arm64-041 and finished on 2017-06-21 taking 2 minutes — see the log
[FAILEDTOBUILD] amd64 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on 2017-06-21 on lcy01-10 and finished on 2017-06-21 taking 1 minute — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on z13-014 and finished on 2017-01-27 taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on bos01-ppc64el-021 and finished on 2017-01-27 taking 19 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on denneed03 (powerpc) and finished on 2017-01-27 taking 22 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on lcy01-32 and finished on 2017-01-27 taking 18 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on bos01-arm64-036 and finished on 2017-01-27 taking 2 hours 20 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on bos01-arm64-045 and finished on 2017-01-27 taking 2 hours 10 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on 2017-01-27 on lcy01-31 and finished on 2017-01-27 taking 32 minutes — see the log
167 of 67 results