Index of /results/petersen/lean4/fedora-rawhide-x86_64/11159591-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2026-Oct-16 12:23:188.00K SPEC File
build-11159591.rsync.log2026-Oct-16 12:24:03353.00B LOG File
build.info2026-Oct-16 12:23:1541.00B INFO File
configs.tar.gz2026-Oct-16 12:24:0248.76K GZ Compressed Archive
lean4-4.35.0-1.fc46.src.rpm2026-Oct-16 12:23:4584.75M RPM File
backend.log.gz2026-Oct-16 12:24:032.67K GZ Compressed Archive
build.log.gz2026-Oct-16 12:23:45740.00B GZ Compressed Archive
root.log.gz2026-Oct-16 12:23:4520.14K GZ Compressed Archive
state.log.gz2026-Oct-16 12:23:45294.00B GZ Compressed Archive
chroot_scan.tar.gz2026-Oct-16 12:24:0113.03K GZ Compressed Archive
builder-live.log.gz2026-Oct-16 12:24:0220.25K GZ Compressed Archive
hw_info.log.gz2026-Oct-16 12:23:461.46K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project