Ubuntu
acl2 package

Builds for acl2 in Ubuntu Oracular

  1. Oracular (24.10)
  2. Builds
1 → 6 of 6 results First • Previous • Next • Last
[FULLYBUILT] s390x build of acl2 8.5dfsg-5build3 in ubuntu noble PROPOSED
Build started on bos01-s390x-008 and finished taking 15 hours — see the log
[FULLYBUILT] riscv64 build of acl2 8.5dfsg-5build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-029 and finished taking 7 days — see the log
[FULLYBUILT] ppc64el build of acl2 8.5dfsg-5build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-006 and finished taking 20 hours — see the log
[FULLYBUILT] armhf build of acl2 8.5dfsg-5build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-069 and finished taking 2 days — see the log
[FULLYBUILT] arm64 build of acl2 8.5dfsg-5build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-028 and finished taking 21 hours — see the log
[FULLYBUILT] amd64 build of acl2 8.5dfsg-5build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 9 hours — see the log
1 → 6 of 6 results First • Previous • Next • Last