ppc64le
|
ppc64le
|
Real build:
Agda-stdlib-1.7.3-5.fc40
ppc64le
Dependencies for this build couldn't be processed
|
Real build:
Agda-stdlib-1.7.3-4.fc40
aarch64
|
aarch64
|
2024-01-15 22:34:57
Package dependencies resolved successfuly
|
Real build:
Agda-stdlib-1.7.3-2.fc40
ppc64le
|