Builds for z3 in Ubuntu Oracular
1 → 7 of 7 results | First • Previous • Next • Last |
|
s390x build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
bos02-s390x-001
and finished
taking
36 minutes
—
see the log
|
|
riscv64 build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
bos03-riscv64-026
and finished
taking
3 hours 20 minutes
—
see the log
|
|
ppc64el build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
bos02-ppc64el-010
and finished
taking
32 minutes
—
see the log
|
|
i386 build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
lcy02-amd64-117
and finished
taking
19 minutes
—
see the log
|
|
armhf build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
bos03-arm64-029
and finished
taking
23 minutes
—
see the log
|
|
arm64 build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
bos03-arm64-024
and finished
taking
28 minutes
—
see the log
|
|
amd64 build of z3 4.8.12-3.1build1 in ubuntu noble PROPOSED
Build started
on
lcy02-amd64-009
and finished
taking
21 minutes
—
see the log
|
1 → 7 of 7 results | First • Previous • Next • Last |