Index of /results/petersen/lean4/fedora-43-aarch64/09830640-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Nov-23 16:52:216.43K SPEC File
success2025-Nov-23 18:29:434.00B Text File
lean4-4.25.0-1.fc43.src.rpm2025-Nov-23 18:29:4947.09M RPM File
build.info2025-Nov-23 16:52:1942.00B INFO File
configs.tar.gz2025-Nov-23 18:29:4346.41K GZ Compressed Archive
backend.log.gz2025-Nov-23 18:30:0110.01K GZ Compressed Archive
build.log.gz2025-Nov-23 16:52:45930.00B GZ Compressed Archive
build-09830640.rsync.log2025-Nov-23 18:29:47410.00B LOG File
root.log.gz2025-Nov-23 16:52:4516.94K GZ Compressed Archive
state.log.gz2025-Nov-23 16:52:45305.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Nov-23 18:29:4010.67K GZ Compressed Archive
builder-live.log.gz2025-Nov-23 18:29:43193.55K GZ Compressed Archive
results.json2025-Nov-23 18:29:43368.00B JSON File
lean4-4.25.0-1.fc43.aarch64.rpm2025-Nov-23 18:29:56447.92M RPM File
hw_info.log.gz2025-Nov-23 16:52:47958.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project