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

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Dec-22 12:26:336.50K SPEC File
build.info2025-Dec-22 12:26:3141.00B INFO File
lean4-4.26.0-1.fc44.src.rpm2025-Dec-22 12:26:5945.44M RPM File
configs.tar.gz2025-Dec-22 12:27:1246.09K GZ Compressed Archive
backend.log.gz2025-Dec-22 12:27:142.05K GZ Compressed Archive
build.log.gz2025-Dec-22 12:26:59933.00B GZ Compressed Archive
root.log.gz2025-Dec-22 12:26:5918.21K GZ Compressed Archive
state.log.gz2025-Dec-22 12:26:59303.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Dec-22 12:27:1113.74K GZ Compressed Archive
builder-live.log.gz2025-Dec-22 12:27:1218.08K GZ Compressed Archive
build-09940985.rsync.log2025-Dec-22 12:27:14353.00B LOG File
hw_info.log.gz2025-Dec-22 12:27:011.46K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project