Index of /results/petersen/lean4/fedora-41-ppc64le/08206044-lean4/

NameLast ModifiedSizeType
../  Directory
build-08206044.rsync.log2024-Nov-03 20:04:32426.00B LOG File
lean4.spec2024-Nov-03 19:16:263.85K SPEC File
success2024-Nov-03 20:04:284.00B Text File
build.info2024-Nov-03 19:16:2259.00B INFO File
configs.tar.gz2024-Nov-03 20:04:2838.29K GZ Compressed Archive
backend.log.gz2024-Nov-03 20:04:392.25K GZ Compressed Archive
build.log.gz2024-Nov-03 19:17:14956.00B GZ Compressed Archive
root.log.gz2024-Nov-03 19:17:1415.44K GZ Compressed Archive
state.log.gz2024-Nov-03 19:17:14312.00B GZ Compressed Archive
chroot_scan.tar.gz2024-Nov-03 20:04:268.67K GZ Compressed Archive
builder-live.log.gz2024-Nov-03 20:04:28176.99K GZ Compressed Archive
results.json2024-Nov-03 20:04:28368.00B JSON File
prune.log2024-Nov-24 09:18:17208.00B LOG File
hw_info.log.gz2024-Nov-03 19:17:17842.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build