Index of /results/petersen/lean4/fedora-rawhide-aarch64/10603338-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Jun-15 01:43:167.31K SPEC File
success2026-Jun-15 03:05:094.00B Text File
build.info2026-Jun-15 01:43:1442.00B INFO File
lean4-4.30.0-1.fc45.aarch64.rpm2026-Jun-15 03:05:23485.38M RPM File
configs.tar.gz2026-Jun-15 03:05:1045.84K GZ Compressed Archive
backend.log.gz2026-Jun-15 03:05:329.32K GZ Compressed Archive
build.log.gz2026-Jun-15 01:43:48761.00B GZ Compressed Archive
root.log.gz2026-Jun-15 01:43:4817.95K GZ Compressed Archive
lean4-4.30.0-1.fc45.src.rpm2026-Jun-15 03:05:2765.94M RPM File
state.log.gz2026-Jun-15 01:43:48300.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Jun-15 03:05:0611.29K GZ Compressed Archive
builder-live.log.gz2026-Jun-15 03:05:10154.78K GZ Compressed Archive
results.json2026-Jun-15 03:05:10368.00B JSON File
hw_info.log.gz2026-Jun-15 01:43:50961.00B GZ Compressed Archive
build-10603338.rsync.log2026-Jun-15 03:05:15409.00B LOG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project