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

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-May-08 17:52:357.15K SPEC File
success2026-May-08 20:18:574.00B Text File
build.info2026-May-08 17:52:3263.00B INFO File
build-10437793.rsync.log2026-May-08 20:19:05429.00B LOG File
configs.tar.gz2026-May-08 20:18:5846.60K GZ Compressed Archive
backend.log.gz2026-May-08 20:19:5513.83K GZ Compressed Archive
build.log.gz2026-May-08 17:54:35765.00B GZ Compressed Archive
root.log.gz2026-May-08 17:54:3514.63K GZ Compressed Archive
state.log.gz2026-May-08 17:54:35309.00B GZ Compressed Archive
chroot_scan.tar.gz2026-May-08 20:18:534.31K GZ Compressed Archive
lean4-4.29.1-1.el10.src.rpm2026-May-08 20:19:0949.86M RPM File
builder-live.log.gz2026-May-08 20:18:58145.24K GZ Compressed Archive
lean4-4.29.1-1.el10.ppc64le.rpm2026-May-08 20:19:23493.94M RPM File
results.json2026-May-08 20:18:57368.00B JSON File
hw_info.log.gz2026-May-08 17:54:38883.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project