Real build:
z3-4.13.2-1.fc42
aarch64
i386
ppc64le
s390x
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|