Index of /results/petersen/lean4/fedora-38-aarch64/07489205-lean4-rc/

NameLast ModifiedSizeType
../  Directory
chroot_scan/2024-May-25 08:13:23-- Directory
lean4-rc.spec2024-May-25 08:12:053.54K SPEC File
success2024-May-25 08:41:434.00B Text File
build-07489205.rsync.log2024-May-25 08:41:461.04K LOG File
lean4-rc-4.8.0~rc2-1.fc38.aarch64.rpm2024-May-25 08:41:49152.01M RPM File
build.info2024-May-25 08:12:0341.00B INFO File
configs.tar.gz2024-May-25 08:41:4337.41K GZ Compressed Archive
backend.log.gz2024-May-25 08:41:532.22K GZ Compressed Archive
build.log.gz2024-May-25 08:13:23962.00B GZ Compressed Archive
root.log.gz2024-May-25 08:13:2316.88K GZ Compressed Archive
state.log.gz2024-May-25 08:13:23332.00B GZ Compressed Archive
builder-live.log.gz2024-May-25 08:41:43141.17K GZ Compressed Archive
results.json2024-May-25 08:41:43567.00B JSON File
hw_info.log.gz2024-May-25 08:13:25914.00B GZ Compressed Archive
lean4-rc-4.8.0~rc2-1.fc38.src.rpm2024-May-25 08:41:5119.10M RPM File
lean4-rc-default-4.8.0~rc2-1.fc38.aarch64.rpm2024-May-25 08:41:528.39K RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build