Index of /results/petersen/lean4/fedora-39-aarch64/08305837-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2024-Nov-23 10:28:444.66K SPEC File
success2024-Nov-23 11:09:304.00B Text File
build.info2024-Nov-23 10:28:4240.00B INFO File
configs.tar.gz2024-Nov-23 11:09:3037.89K GZ Compressed Archive
backend.log.gz2024-Nov-23 11:09:432.23K GZ Compressed Archive
build.log.gz2024-Nov-23 10:29:58953.00B GZ Compressed Archive
root.log.gz2024-Nov-23 10:29:5816.66K GZ Compressed Archive
state.log.gz2024-Nov-23 10:29:58331.00B GZ Compressed Archive
chroot_scan.tar.gz2024-Nov-23 11:09:293.78K GZ Compressed Archive
builder-live.log.gz2024-Nov-23 11:09:30173.84K GZ Compressed Archive
results.json2024-Nov-23 11:09:30368.00B JSON File
prune.log2024-Dec-08 09:33:13206.00B LOG File
hw_info.log.gz2024-Nov-23 10:29:59925.00B GZ Compressed Archive
build-08305837.rsync.log2024-Nov-23 11:09:33407.00B LOG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build