ppc64le
|
aarch64
|
ppc64le
|
s390x
|
ppc64le
|
Real build:
Agda-stdlib-1.7.3-9.fc42
ppc64le
|
s390x
|