Ubuntu
agda package

Builds for agda in Ubuntu Artful

  1. Artful (17.10)
  2. Builds
1 → 67 of 67 results First • Previous • Next • Last
[FULLYBUILT] s390x build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on z13-018 and finished taking 34 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on z13-018 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-026 and finished taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-026 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on lgw01-18 and finished taking 15 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on lgw01-18 and finished taking 15 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-008 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-008 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-041 and finished taking 2 hours 30 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-041 and finished taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on lcy01-04 and finished taking 40 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
Build started on lcy01-04 and finished taking 40 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on z13-014 and finished taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-024 and finished taking 20 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on lcy01-36 and finished taking 15 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on bos01-arm64-044 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on bos01-arm64-048 and finished taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
Build started on lcy01-12 and finished taking 24 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on z13-017 and finished taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-004 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on lgw01-21 and finished taking 18 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.2-2~build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-019 and finished 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 bos01-arm64-015 and finished 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 lcy01-35 and finished 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 z13-025 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] ppc64el build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-016 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] i386 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on lcy01-20 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on bos01-arm64-035 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on bos01-arm64-043 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] amd64 build of agda 2.5.1.1-4build2 in ubuntu artful PROPOSED
Build started on lgw01-42 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on z13-014 and finished taking 36 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on z13-014 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-013 and finished taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-013 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on lgw01-32 and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on lgw01-32 and finished taking 19 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-015 and finished 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 bos01-arm64-015 and finished 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 bos01-arm64-015 and finished 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 bos01-arm64-015 and finished 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 lgw01-56 and finished taking 43 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
Build started on lgw01-56 and finished taking 43 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on z13-018 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-020 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on lgw01-11 and finished taking 18 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on bos01-arm64-009 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on bos01-arm64-044 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.1.1-4 in ubuntu artful PROPOSED
Build started on lgw01-55 and finished taking 32 minutes — see the log
[FAILEDTOBUILD] s390x build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on z13-018 and finished taking 1 minute — see the log
[FAILEDTOBUILD] ppc64el build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-017 and finished taking 1 minute — see the log
[FAILEDTOBUILD] i386 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on lgw01-31 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on bos01-arm64-009 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on bos01-arm64-041 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] amd64 build of agda 2.5.1.1-3build4 in ubuntu artful PROPOSED
Build started on lcy01-10 and finished taking 1 minute — see the log
[FULLYBUILT] s390x build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on z13-014 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on bos01-ppc64el-021 and finished taking 19 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on denneed03 (powerpc) and finished taking 22 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on lcy01-32 and finished taking 18 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
Build started on bos01-arm64-036 and finished 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 bos01-arm64-045 and finished 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 lcy01-31 and finished taking 32 minutes — see the log
1 → 67 of 67 results First • Previous • Next • Last