Index of /results/petersen/lean4/epel-10-x86_64/10603165-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Jun-14 22:24:567.31K SPEC File
success2026-Jun-14 23:41:114.00B Text File
build.info2026-Jun-14 22:24:5441.00B INFO File
lean4-4.30.0-1.el10.x86_64.rpm2026-Jun-14 23:41:25478.91M RPM File
configs.tar.gz2026-Jun-14 23:41:1245.43K GZ Compressed Archive
backend.log.gz2026-Jun-14 23:41:338.74K GZ Compressed Archive
build.log.gz2026-Jun-14 22:25:20765.00B GZ Compressed Archive
lean4-4.30.0-1.el10.src.rpm2026-Jun-14 23:41:2965.94M RPM File
root.log.gz2026-Jun-14 22:25:2015.10K GZ Compressed Archive
state.log.gz2026-Jun-14 22:25:20301.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Jun-14 23:41:074.13K GZ Compressed Archive
builder-live.log.gz2026-Jun-14 23:41:12150.53K GZ Compressed Archive
results.json2026-Jun-14 23:41:12367.00B JSON File
hw_info.log.gz2026-Jun-14 22:25:211.46K GZ Compressed Archive
build-10603165.rsync.log2026-Jun-14 23:41:18407.00B LOG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project