Index of /results/petersen/lean4/epel-10-ppc64le/09830640-lean4/

NameLast ModifiedSizeType
../  Directory
lean4-4.25.0-1.el10.src.rpm2025-Nov-23 19:14:1547.09M RPM File
lean4.spec2025-Nov-23 16:50:426.43K SPEC File
success2025-Nov-23 19:12:284.00B Text File
build.info2025-Nov-23 16:52:1962.00B INFO File
configs.tar.gz2025-Nov-23 19:12:2844.74K GZ Compressed Archive
backend.log.gz2025-Nov-23 19:14:2713.08K GZ Compressed Archive
build.log.gz2025-Nov-23 16:53:58938.00B GZ Compressed Archive
build-09830640.rsync.log2025-Nov-23 19:14:13430.00B LOG File
root.log.gz2025-Nov-23 16:53:5814.58K GZ Compressed Archive
state.log.gz2025-Nov-23 16:53:58311.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Nov-23 19:12:254.00K GZ Compressed Archive
builder-live.log.gz2025-Nov-23 19:14:08193.37K GZ Compressed Archive
results.json2025-Nov-23 19:12:28368.00B JSON File
hw_info.log.gz2025-Nov-23 16:54:02882.00B GZ Compressed Archive
lean4-4.25.0-1.el10.ppc64le.rpm2025-Nov-23 19:14:22449.16M RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project