Index of /results/petersen/lean4/epel-10-x86_64/09940766-lean4/

NameLast ModifiedSizeType
../  Directory
lean4.spec2025-Dec-22 09:53:326.49K SPEC File
build.info2025-Dec-22 09:53:3041.00B INFO File
configs.tar.gz2025-Dec-22 10:22:4547.61K GZ Compressed Archive
backend.log.gz2025-Dec-22 10:22:474.10K GZ Compressed Archive
build.log.gz2025-Dec-22 09:53:59939.00B GZ Compressed Archive
root.log.gz2025-Dec-22 09:53:5914.91K GZ Compressed Archive
lean4-4.26.0-1.el10.src.rpm2025-Dec-22 09:53:5945.44M RPM File
state.log.gz2025-Dec-22 09:53:59307.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Dec-22 10:22:444.14K GZ Compressed Archive
builder-live.log.gz2025-Dec-22 10:22:4584.33K GZ Compressed Archive
build-09940766.rsync.log2025-Dec-22 10:22:47353.00B LOG File
hw_info.log.gz2025-Dec-22 09:54:011.46K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project