Index of /results/petersen/lean4/fedora-42-ppc64le/09830640-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Nov-23 16:52:226.43K SPEC File
success2025-Nov-23 21:22:184.00B Text File
build.info2025-Nov-23 16:52:1959.00B INFO File
configs.tar.gz2025-Nov-23 21:22:1945.56K GZ Compressed Archive
lean4-4.25.0-1.fc42.ppc64le.rpm2025-Nov-23 21:22:33455.09M RPM File
backend.log.gz2025-Nov-23 21:22:4021.50K GZ Compressed Archive
build.log.gz2025-Nov-23 16:53:13931.00B GZ Compressed Archive
build-09830640.rsync.log2025-Nov-23 21:22:26426.00B LOG File
root.log.gz2025-Nov-23 16:53:1315.66K GZ Compressed Archive
state.log.gz2025-Nov-23 16:53:13313.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Nov-23 21:22:149.70K GZ Compressed Archive
builder-live.log.gz2025-Nov-23 21:22:19191.94K GZ Compressed Archive
lean4-4.25.0-1.fc42.src.rpm2025-Nov-23 21:22:3847.09M RPM File
results.json2025-Nov-23 21:22:19368.00B JSON File
hw_info.log.gz2025-Nov-23 16:53:16895.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project