Ubuntu
agda package

Builds for agda in Ubuntu Cosmic

  1. Cosmic (18.10)
  2. Builds
1 → 42 of 42 results First • Previous • Next • Last
[FULLYBUILT] s390x build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-s390x-010 and finished taking 39 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-s390x-010 and finished taking 39 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-ppc64el-009 and finished taking 32 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-ppc64el-009 and finished taking 32 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-056 and finished taking 22 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-056 and finished taking 22 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-004 and finished taking 3 hours — see the log
[FULLYBUILT] armhf build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-004 and finished taking 3 hours — see the log
[FULLYBUILT] arm64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-014 and finished taking 2 hours 10 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-014 and finished taking 2 hours 10 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-057 and finished taking 31 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-057 and finished taking 31 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
Build started on bos02-s390x-007 and finished taking 38 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
Build started on bos02-ppc64el-012 and finished taking 31 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-027 and finished taking 23 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-003 and finished taking 2 hours 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-028 and finished taking 2 hours — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-030 and finished taking 17 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.3-5build1 in ubuntu cosmic PROPOSED
Build started on bos02-s390x-010 and finished taking 38 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-5build1 in ubuntu cosmic PROPOSED
Build started on bos02-ppc64el-008 and finished taking 32 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-5build1 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-058 and finished taking 13 minutes — see the log
[SUPERSEDED] armhf build of agda 2.5.3-5build1 in ubuntu cosmic PROPOSED
[FULLYBUILT] arm64 build of agda 2.5.3-5build1 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-035 and finished taking 2 hours 10 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-5build1 in ubuntu cosmic PROPOSED
Build started on lgw01-amd64-020 and finished taking 17 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-s390x-014 and finished taking 40 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-s390x-014 and finished taking 40 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-ppc64el-006 and finished taking 32 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-ppc64el-006 and finished taking 32 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on lcy01-amd64-017 and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on lcy01-amd64-017 and finished taking 19 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-021 and finished taking 3 hours — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-021 and finished taking 3 hours — see the log
[FULLYBUILT] arm64 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-008 and finished taking 2 hours 10 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on bos02-arm64-008 and finished taking 2 hours 10 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on lcy01-amd64-011 and finished taking 25 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
Build started on lcy01-amd64-011 and finished taking 25 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.3-3build1 in ubuntu bionic PROPOSED
Build started on z13-010 and finished taking 38 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.3-3build1 in ubuntu bionic PROPOSED
Build started on bos01-ppc64el-018 and finished taking 23 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.3-3build1 in ubuntu bionic PROPOSED
Build started on lcy01-amd64-015 and finished taking 20 minutes — see the log
[FULLYBUILT] armhf build of agda 2.5.3-3build1 in ubuntu bionic PROPOSED
Build started on bos01-arm64-003 and finished taking 3 hours 10 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.3-3build1 in ubuntu bionic PROPOSED
Build started on bos01-arm64-005 and finished taking 3 hours — see the log
[FULLYBUILT] amd64 build of agda 2.5.3-3build1 in ubuntu bionic PROPOSED
Build started on lcy01-amd64-010 and finished taking 42 minutes — see the log
1 → 42 of 42 results First • Previous • Next • Last