Ubuntu
acl2 package

Builds for acl2 in Ubuntu Groovy

  1. Groovy (20.10)
  2. Builds
1 → 18 of 18 results First • Previous • Next • Last
[FULLYBUILT] s390x build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-014 and finished taking 1 hour — see the log
[FULLYBUILT] s390x build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-s390x-014 and finished taking 1 hour — see the log
[MANUALDEPWAIT] riscv64 build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Missing dependencies: gcl (>= 2.6.12-92)
Build started on riscv64-qemu-lcy01-004 and finished taking 8 minutes — see the log
[MANUALDEPWAIT] riscv64 build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Missing dependencies: gcl (>= 2.6.12-92)
Build started on riscv64-qemu-lcy01-004 and finished taking 8 minutes — see the log
[FULLYBUILT] ppc64el build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-007 and finished taking 1 hour 10 minutes — see the log
[FULLYBUILT] ppc64el build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-ppc64el-007 and finished taking 1 hour 10 minutes — see the log
[FULLYBUILT] armhf build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-022 and finished taking 2 hours — see the log
[FULLYBUILT] armhf build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-022 and finished taking 2 hours — see the log
[FULLYBUILT] arm64 build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-039 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on bos02-arm64-039 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] amd64 build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on lcy01-amd64-026 and finished taking 1 hour — see the log
[FULLYBUILT] amd64 build of acl2 8.3dfsg-1 in ubuntu groovy PROPOSED
Build started on lcy01-amd64-026 and finished taking 1 hour — see the log
[MANUALDEPWAIT] riscv64 build of acl2 8.2dfsg-3build1 in ubuntu focal RELEASE
Missing dependencies: gcl (>= 2.6.12-92)
Build started on riscv64-qemu-lcy01-065 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of acl2 8.2dfsg-3build1 in ubuntu focal PROPOSED
Build started on bos02-s390x-004 and finished taking 5 hours 20 minutes — see the log
[FULLYBUILT] ppc64el build of acl2 8.2dfsg-3build1 in ubuntu focal PROPOSED
Build started on bos02-ppc64el-027 and finished taking 8 hours 30 minutes — see the log
[FULLYBUILT] armhf build of acl2 8.2dfsg-3build1 in ubuntu focal PROPOSED
Build started on bos02-arm64-047 and finished taking 25 hours — see the log
[FULLYBUILT] arm64 build of acl2 8.2dfsg-3build1 in ubuntu focal PROPOSED
Build started on bos02-arm64-040 and finished taking 26 hours — see the log
[FULLYBUILT] amd64 build of acl2 8.2dfsg-3build1 in ubuntu focal PROPOSED
Build started on lgw01-amd64-053 and finished taking 6 hours 40 minutes — see the log
1 → 18 of 18 results First • Previous • Next • Last