Ubuntu
agda package

Builds for agda in Ubuntu Groovy

  1. Groovy (20.10)
  2. Builds
1 → 42 of 42 results First • Previous • Next • Last
[FULLYBUILT] s390x build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-012 and finished taking 1 hour 50 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-012 and finished taking 1 hour 50 minutes — see the log
[FULLYBUILT] riscv64 build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on riscv64-qemu-lcy01-022 and finished taking 42 hours — see the log
[FULLYBUILT] riscv64 build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on riscv64-qemu-lcy01-022 and finished taking 42 hours — see the log
[FULLYBUILT] ppc64el build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-025 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-025 and finished taking 1 hour 20 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-052 and finished taking 18 hours — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-052 and finished taking 18 hours — see the log
[FAILEDTOBUILD] arm64 build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-071 and finished taking 3 hours 30 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-071 and finished taking 3 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on lcy01-amd64-018 and finished taking 39 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.1-1build1 in ubuntu groovy PROPOSED
Build started on lcy01-amd64-018 and finished taking 39 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-003 and finished taking 1 hour 40 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-003 and finished taking 1 hour 40 minutes — see the log
[FULLYBUILT] riscv64 build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on riscv64-qemu-lcy01-078 and finished taking 2 days — see the log
[FULLYBUILT] riscv64 build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on riscv64-qemu-lcy01-078 and finished taking 2 days — see the log
[FULLYBUILT] ppc64el build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-008 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-008 and finished taking 1 hour 20 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-059 and finished taking 4 hours 10 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-059 and finished taking 4 hours 10 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-042 and finished taking 3 hours 20 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-042 and finished taking 3 hours 20 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on lcy01-amd64-024 and finished taking 58 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.1-1 in ubuntu groovy PROPOSED
Build started on lcy01-amd64-024 and finished taking 58 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.1-0ubuntu1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-012 and finished taking 1 hour 40 minutes — see the log
[FULLYBUILT] riscv64 build of agda 2.6.1-0ubuntu1 in ubuntu groovy PROPOSED
Build started on riscv64-qemu-lcy01-082 and finished taking 2 days — see the log
[FULLYBUILT] ppc64el build of agda 2.6.1-0ubuntu1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-001 and finished taking 1 hour 20 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.1-0ubuntu1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-034 and finished taking 4 hours 10 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.6.1-0ubuntu1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-022 and finished taking 3 hours 10 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.1-0ubuntu1 in ubuntu groovy PROPOSED
Build started on lgw01-amd64-030 and finished taking 38 minutes — see the log
[SUPERSEDED] s390x build of agda 2.6.0.1-1build5 in ubuntu groovy PROPOSED
[SUPERSEDED] riscv64 build of agda 2.6.0.1-1build5 in ubuntu groovy PROPOSED
[SUPERSEDED] ppc64el build of agda 2.6.0.1-1build5 in ubuntu groovy PROPOSED
[SUPERSEDED] armhf build of agda 2.6.0.1-1build5 in ubuntu groovy PROPOSED
[SUPERSEDED] arm64 build of agda 2.6.0.1-1build5 in ubuntu groovy PROPOSED
[MANUALDEPWAIT] amd64 build of agda 2.6.0.1-1build5 in ubuntu groovy PROPOSED
Missing dependencies: libghc-edison-core-doc
Build started on lgw01-amd64-060 and finished taking 1 minute — see the log
[FULLYBUILT] riscv64 build of agda 2.6.0.1-1build4 in ubuntu focal RELEASE
Build started on riscv64-qemu-lcy01-046 and finished taking 22 hours — see the log
[FULLYBUILT] s390x build of agda 2.6.0.1-1build4 in ubuntu focal PROPOSED
Build started on bos02-s390x-016 and finished taking 58 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.0.1-1build4 in ubuntu focal PROPOSED
Build started on bos02-ppc64el-023 and finished taking 45 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1build4 in ubuntu focal PROPOSED
Build started on bos02-arm64-056 and finished taking 7 hours 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.6.0.1-1build4 in ubuntu focal PROPOSED
Build started on bos02-arm64-049 and finished taking 3 hours 10 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.0.1-1build4 in ubuntu focal PROPOSED
Build started on lcy01-amd64-030 and finished taking 22 minutes — see the log
1 → 42 of 42 results First • Previous • Next • Last