Ubuntu
eprover package

Builds for eprover in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 18 of 18 results First • Previous • Next • Last
[FULLYBUILT] s390x build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-007 and finished taking 36 minutes — see the log
[FULLYBUILT] riscv64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-007 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-001 and finished taking 8 minutes — see the log
[FULLYBUILT] ppc64el build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-001 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-025 and finished taking 15 minutes — see the log
[FULLYBUILT] armhf build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-025 and finished taking 15 minutes — see the log
[FULLYBUILT] arm64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-006 and finished taking 13 minutes — see the log
[FULLYBUILT] arm64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-006 and finished taking 13 minutes — see the log
[FULLYBUILT] amd64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-070 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of eprover 3.0.03+ds-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-070 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of eprover 2.6+ds-3 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-007 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of eprover 2.6+ds-3 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-066 and finished taking 48 minutes — see the log
[FULLYBUILT] ppc64el build of eprover 2.6+ds-3 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-006 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of eprover 2.6+ds-3 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-048 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of eprover 2.6+ds-3 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-078 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of eprover 2.6+ds-3 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-054 and finished taking 3 minutes — see the log
1 → 18 of 18 results First • Previous • Next • Last