Index of /results/petersen/lean4/fedora-42-aarch64/10056127-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Jan-25 14:47:406.63K SPEC File
success2026-Jan-25 16:19:214.00B Text File
lean4-4.27.0-1.fc42.src.rpm2026-Jan-25 16:19:2846.15M RPM File
build.info2026-Jan-25 14:47:3942.00B INFO File
configs.tar.gz2026-Jan-25 16:19:2246.14K GZ Compressed Archive
backend.log.gz2026-Jan-25 16:19:489.73K GZ Compressed Archive
build.log.gz2026-Jan-25 14:48:05930.00B GZ Compressed Archive
root.log.gz2026-Jan-25 14:48:0515.71K GZ Compressed Archive
lean4-4.27.0-1.fc42.aarch64.rpm2026-Jan-25 16:19:35457.53M RPM File
state.log.gz2026-Jan-25 14:48:05311.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Jan-25 16:19:1714.27K GZ Compressed Archive
builder-live.log.gz2026-Jan-25 16:19:22200.27K GZ Compressed Archive
build-10056127.rsync.log2026-Jan-25 16:19:27409.00B LOG File
results.json2026-Jan-25 16:19:22368.00B JSON File
hw_info.log.gz2026-Jan-25 14:48:06960.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project