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

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Oct-21 13:09:316.30K SPEC File
success2025-Oct-21 14:29:284.00B Text File
build.info2025-Oct-21 13:09:2641.00B INFO File
configs.tar.gz2025-Oct-21 14:29:2944.48K GZ Compressed Archive
backend.log.gz2025-Oct-21 14:29:469.00K GZ Compressed Archive
build.log.gz2025-Oct-21 13:09:58954.00B GZ Compressed Archive
build-09711116.rsync.log2025-Oct-21 14:29:33408.00B LOG File
root.log.gz2025-Oct-21 13:09:5814.95K GZ Compressed Archive
state.log.gz2025-Oct-21 13:09:58301.00B GZ Compressed Archive
lean4-4.24.0-1.el10.x86_64.rpm2025-Oct-21 14:29:40417.80M RPM File
chroot_scan.tar.gz2025-Oct-21 14:29:243.79K GZ Compressed Archive
builder-live.log.gz2025-Oct-21 14:29:28187.72K GZ Compressed Archive
results.json2025-Oct-21 14:29:28367.00B JSON File
lean4-4.24.0-1.el10.src.rpm2025-Oct-21 14:29:4443.68M RPM File
hw_info.log.gz2025-Oct-21 13:09:591.46K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project