Index of /results/petersen/lean4/fedora-44-ppc64le/10603338-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Jun-15 01:43:217.31K SPEC File
success2026-Jun-15 03:42:464.00B Text File
lean4-4.30.0-1.fc44.src.rpm2026-Jun-15 03:42:5965.94M RPM File
build.info2026-Jun-15 01:43:1563.00B INFO File
configs.tar.gz2026-Jun-15 03:42:4646.59K GZ Compressed Archive
backend.log.gz2026-Jun-15 03:43:1911.96K GZ Compressed Archive
build.log.gz2026-Jun-15 01:44:43755.00B GZ Compressed Archive
root.log.gz2026-Jun-15 01:44:4318.41K GZ Compressed Archive
lean4-4.30.0-1.fc44.ppc64le.rpm2026-Jun-15 03:43:08490.39M RPM File
state.log.gz2026-Jun-15 01:44:43304.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Jun-15 03:42:4314.06K GZ Compressed Archive
builder-live.log.gz2026-Jun-15 03:42:46154.34K GZ Compressed Archive
results.json2026-Jun-15 03:42:46368.00B JSON File
hw_info.log.gz2026-Jun-15 01:44:46876.00B GZ Compressed Archive
build-10603338.rsync.log2026-Jun-15 03:42:57429.00B LOG File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project