Index of /results/petersen/lean4/fedora-42-aarch64/10165176-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Feb-24 19:11:526.82K SPEC File
success2026-Feb-24 20:55:444.00B Text File
lean4-4.28.0-1.fc42.aarch64.rpm2026-Feb-24 20:55:57473.56M RPM File
build.info2026-Feb-24 19:11:4941.00B INFO File
configs.tar.gz2026-Feb-24 20:55:4545.92K GZ Compressed Archive
backend.log.gz2026-Feb-24 20:56:0310.61K GZ Compressed Archive
build.log.gz2026-Feb-24 19:12:21929.00B GZ Compressed Archive
root.log.gz2026-Feb-24 19:12:2115.70K GZ Compressed Archive
state.log.gz2026-Feb-24 19:12:21308.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Feb-24 20:55:3913.90K GZ Compressed Archive
builder-live.log.gz2026-Feb-24 20:55:44204.65K GZ Compressed Archive
lean4-4.28.0-1.fc42.src.rpm2026-Feb-24 20:56:0147.85M RPM File
results.json2026-Feb-24 20:55:44368.00B JSON File
hw_info.log.gz2026-Feb-24 19:12:23959.00B GZ Compressed Archive
build-10165176.rsync.log2026-Feb-24 20:55:50408.00B LOG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project