Index of /results/petersen/lean4/epel-9-x86_64/07812177-lean4/

NameLast ModifiedSizeType
../  Directory
chroot_scan/2024-Aug-01 14:13:04-- Directory
lean4.spec2024-Aug-01 14:11:563.16K SPEC File
success2024-Aug-01 14:55:044.00B Text File
build.info2024-Aug-01 14:11:5359.00B INFO File
configs.tar.gz2024-Aug-01 14:55:0436.87K GZ Compressed Archive
backend.log.gz2024-Aug-01 14:55:162.20K GZ Compressed Archive
build.log.gz2024-Aug-01 14:13:04959.00B GZ Compressed Archive
root.log.gz2024-Aug-01 14:13:0420.36K GZ Compressed Archive
state.log.gz2024-Aug-01 14:13:04310.00B GZ Compressed Archive
builder-live.log.gz2024-Aug-01 14:55:04144.37K GZ Compressed Archive
results.json2024-Aug-01 14:55:04365.00B JSON File
prune.log2024-Nov-04 08:16:12205.00B LOG File
hw_info.log.gz2024-Aug-01 14:13:071.35K GZ Compressed Archive
build-07812177.rsync.log2024-Aug-01 14:55:081021.00B LOG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build