Index of /results/mhough/scientific/fedora-rawhide-x86_64/11272076-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Nov-06 17:09:456.71K SPEC File
success2026-Nov-06 18:39:464.00B Text File
build.info2026-Nov-06 17:09:4363.00B INFO File
configs.tar.gz2026-Nov-06 18:39:4649.34K GZ Compressed Archive
backend.log.gz2026-Nov-06 18:40:2410.01K GZ Compressed Archive
build.log.gz2026-Nov-06 17:10:20739.00B GZ Compressed Archive
root.log.gz2026-Nov-06 17:10:2020.17K GZ Compressed Archive
state.log.gz2026-Nov-06 17:10:20305.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Nov-06 18:39:4419.17K GZ Compressed Archive
builder-live.log.gz2026-Nov-06 18:39:4795.14K GZ Compressed Archive
build-11272076.rsync.log2026-Nov-06 18:39:52429.00B LOG File
results.json2026-Nov-06 18:39:46367.00B JSON File
hw_info.log.gz2026-Nov-06 17:10:211.41K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project