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

NameLast ModifiedSizeType
../  Directory
lean4-rc.spec2024-May-25 08:12:063.54K SPEC File
success2024-May-25 08:43:064.00B Text File
lean4-rc-4.8.0~rc2-1.fc40.src.rpm2024-May-25 08:43:1019.10M RPM File
build-07489205.rsync.log2024-May-25 08:43:08886.00B LOG File
build.info2024-May-25 08:12:0341.00B INFO File
lean4-rc-4.8.0~rc2-1.fc40.aarch64.rpm2024-May-25 08:43:13152.85M RPM File
configs.tar.gz2024-May-25 08:43:0637.49K GZ Compressed Archive
backend.log.gz2024-May-25 08:43:162.23K GZ Compressed Archive
build.log.gz2024-May-25 08:12:38962.00B GZ Compressed Archive
root.log.gz2024-May-25 08:12:3916.24K GZ Compressed Archive
state.log.gz2024-May-25 08:12:39328.00B GZ Compressed Archive
builder-live.log.gz2024-May-25 08:43:06139.76K GZ Compressed Archive
results.json2024-May-25 08:43:06567.00B JSON File
lean4-rc-default-4.8.0~rc2-1.fc40.aarch64.rpm2024-May-25 08:43:148.42K RPM File
hw_info.log.gz2024-May-25 08:12:40912.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build