Index of /results/petersen/lean4/fedora-rawhide-x86_64/10602613-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Jun-14 16:36:517.31K SPEC File
lean4-4.30.0-1.fc45.x86_64.rpm2026-Jun-14 17:57:06487.68M RPM File
success2026-Jun-14 17:56:504.00B Text File
build.info2026-Jun-14 16:36:4941.00B INFO File
configs.tar.gz2026-Jun-14 17:56:5047.91K GZ Compressed Archive
backend.log.gz2026-Jun-14 17:57:239.09K GZ Compressed Archive
build.log.gz2026-Jun-14 16:37:16760.00B GZ Compressed Archive
root.log.gz2026-Jun-14 16:37:1618.38K GZ Compressed Archive
lean4-4.30.0-1.fc45.src.rpm2026-Jun-14 17:57:1765.94M RPM File
state.log.gz2026-Jun-14 16:37:16300.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Jun-14 17:56:4610.90K GZ Compressed Archive
builder-live.log.gz2026-Jun-14 17:56:50155.05K GZ Compressed Archive
build-10602613.rsync.log2026-Jun-14 17:56:57407.00B LOG File
results.json2026-Jun-14 17:56:50367.00B JSON File
hw_info.log.gz2026-Jun-14 16:37:171.46K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project