Index of /results/mhough/scientific/fedora-rawhide-aarch64/11272076-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Nov-06 17:08:426.71K SPEC File
success2026-Nov-06 18:01:004.00B Text File
build.info2026-Nov-06 17:08:4042.00B INFO File
configs.tar.gz2026-Nov-06 18:01:0149.03K GZ Compressed Archive
backend.log.gz2026-Nov-06 18:01:397.51K GZ Compressed Archive
build.log.gz2026-Nov-06 17:09:05740.00B GZ Compressed Archive
root.log.gz2026-Nov-06 17:09:0518.88K GZ Compressed Archive
state.log.gz2026-Nov-06 17:09:05302.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Nov-06 18:00:5610.92K GZ Compressed Archive
builder-live.log.gz2026-Nov-06 18:01:0094.92K GZ Compressed Archive
build-11272076.rsync.log2026-Nov-06 18:01:05409.00B LOG File
results.json2026-Nov-06 18:01:00368.00B JSON File
hw_info.log.gz2026-Nov-06 17:09:06962.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project