Index of /results/mhough/neurofedora/fedora-rawhide-aarch64/11039768-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Sep-26 22:01:014.18K SPEC File
success2026-Sep-26 22:56:014.00B Text File
build.info2026-Sep-26 22:00:5441.00B INFO File
build-11039768.rsync.log2026-Sep-26 22:56:06408.00B LOG File
configs.tar.gz2026-Sep-26 22:56:0247.56K GZ Compressed Archive
backend.log.gz2026-Sep-26 22:56:157.16K GZ Compressed Archive
build.log.gz2026-Sep-26 22:01:23736.00B GZ Compressed Archive
root.log.gz2026-Sep-26 22:01:2317.34K GZ Compressed Archive
lean4-4.32.0-1.fc46.aarch64.rpm2026-Sep-26 22:56:11497.23M RPM File
lean4-4.32.0-1.fc46.src.rpm2026-Sep-26 22:56:1370.36M RPM File
state.log.gz2026-Sep-26 22:01:23295.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Sep-26 22:55:5812.23K GZ Compressed Archive
builder-live.log.gz2026-Sep-26 22:56:0292.05K GZ Compressed Archive
results.json2026-Sep-26 22:56:02368.00B JSON File
hw_info.log.gz2026-Sep-26 22:01:25963.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project