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

NameLast ModifiedSizeType
../  Directory
lean4-rc.spec2024-May-25 08:12:063.54K SPEC File
success2024-May-25 08:41:104.00B Text File
build-07489205.rsync.log2024-May-25 08:41:12911.00B LOG File
build.info2024-Aug-12 17:27:2376.00B INFO File
configs.tar.gz2024-May-25 08:41:1037.56K GZ Compressed Archive
backend.log.gz2024-May-25 08:41:212.23K GZ Compressed Archive
lean4-rc-4.8.0~rc2-1.fc41.aarch64.rpm2024-May-25 08:41:16152.85M RPM File
build.log.gz2024-May-25 08:12:32966.00B GZ Compressed Archive
lean4-rc-4.8.0~rc2-1.fc41.src.rpm2024-May-25 08:41:1819.10M RPM File
root.log.gz2024-May-25 08:12:3216.69K GZ Compressed Archive
state.log.gz2024-May-25 08:12:32330.00B GZ Compressed Archive
builder-live.log.gz2024-May-25 08:41:10140.55K GZ Compressed Archive
lean4-rc-default-4.8.0~rc2-1.fc41.aarch64.rpm2024-May-25 08:41:198.42K RPM File
results.json2024-May-25 08:41:10567.00B JSON File
hw_info.log.gz2024-May-25 08:12:34916.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build