Ubuntu
eprover package

Builds for eprover in Ubuntu Kinetic

  1. Kinetic (22.10)
  2. Builds
1 → 24 of 24 results First • Previous • Next • Last
[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] 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] 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] 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] 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] 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
[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
[FULLYBUILT] s390x build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-014 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-014 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-071 and finished taking 52 minutes — see the log
[FULLYBUILT] riscv64 build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-071 and finished taking 52 minutes — see the log
[FULLYBUILT] ppc64el build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-028 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-028 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-076 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-076 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-037 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-037 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-020 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of eprover 2.6+ds-2 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-020 and finished taking 3 minutes — see the log
1 → 24 of 24 results First • Previous • Next • Last