Real build:
gappalib-coq-1.5.5-6.fc42
aarch64
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
|