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

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Apr-03 06:49:524.97K SPEC File
success2025-Apr-03 08:02:364.00B Text File
build.info2025-Apr-03 06:49:5042.00B INFO File
configs.tar.gz2025-Apr-03 08:02:3641.77K GZ Compressed Archive
backend.log.gz2025-Apr-03 08:02:522.34K GZ Compressed Archive
build.log.gz2025-Apr-03 06:50:12960.00B GZ Compressed Archive
root.log.gz2025-Apr-03 06:50:1215.81K GZ Compressed Archive
state.log.gz2025-Apr-03 06:50:12313.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Apr-03 08:02:359.25K GZ Compressed Archive
builder-live.log.gz2025-Apr-03 08:02:36292.97K GZ Compressed Archive
results.json2025-Apr-03 08:02:36368.00B JSON File
prune.log2025-Jun-05 04:56:33208.00B LOG File
build-08854577.rsync.log2025-Apr-03 08:02:40409.00B LOG File
hw_info.log.gz2025-Apr-03 06:50:14921.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build