Index of /results/petersen/lean4/fedora-41-x86_64/09710503-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Oct-21 10:44:386.30K SPEC File
success2025-Oct-21 13:08:104.00B Text File
build.info2025-Oct-21 10:44:3559.00B INFO File
configs.tar.gz2025-Oct-21 13:08:1145.24K GZ Compressed Archive
backend.log.gz2025-Oct-21 13:08:3313.31K GZ Compressed Archive
build.log.gz2025-Oct-21 10:45:13944.00B GZ Compressed Archive
root.log.gz2025-Oct-21 10:45:1315.85K GZ Compressed Archive
state.log.gz2025-Oct-21 10:45:13313.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Oct-21 13:08:0812.25K GZ Compressed Archive
builder-live.log.gz2025-Oct-21 13:08:11189.35K GZ Compressed Archive
lean4-4.24.0-1.fc41.src.rpm2025-Oct-21 13:08:1943.68M RPM File
results.json2025-Oct-21 13:08:11367.00B JSON File
hw_info.log.gz2025-Oct-21 10:45:151.39K GZ Compressed Archive
build-09710503.rsync.log2025-Oct-21 13:08:17425.00B LOG File
lean4-4.24.0-1.fc41.x86_64.rpm2025-Oct-21 13:08:28416.08M RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project