Index of /results/mhough/scientific/fedora-45-x86_64/11271926-lean4-rpm-macros/

NameLast ModifiedSizeType
../  Directory
build-11271926.rsync.log2026-Nov-06 17:00:28440.00B LOG File
success2026-Nov-06 17:00:264.00B Text File
build.info2026-Nov-06 16:59:4563.00B INFO File
configs.tar.gz2026-Nov-06 17:00:2648.30K GZ Compressed Archive
backend.log.gz2026-Nov-06 17:00:443.04K GZ Compressed Archive
build.log.gz2026-Nov-06 17:00:21739.00B GZ Compressed Archive
lean4-rpm-macros.spec2026-Nov-06 16:59:461.14K SPEC File
root.log.gz2026-Nov-06 17:00:2119.84K GZ Compressed Archive
state.log.gz2026-Nov-06 17:00:21307.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Nov-06 17:00:2510.26K GZ Compressed Archive
builder-live.log.gz2026-Nov-06 17:00:2716.22K GZ Compressed Archive
results.json2026-Nov-06 17:00:26379.00B JSON File
hw_info.log.gz2026-Nov-06 17:00:221.40K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project