aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
Real build:
Agda-2.6.4.3-51.fc42
aarch64
ppc64le
s390x
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|
aarch64
ppc64le
x86_64
|