Index of /results/dvraaij/rocq/srpm-builds/09604025/

NameLast ModifiedSizeType
../  Directory
build-09604025.rsync.log2025-Sep-26 17:11:42685.00B LOG File
success2025-Sep-26 17:11:404.00B Text File
coq-9.1.0-1.src.rpm2025-Sep-26 17:11:406.11M RPM File
build.info2025-Sep-26 17:11:3641.00B INFO File
coq-9.1.0.tar.gz2025-Sep-26 17:11:406.10M GZ Compressed Archive
backend.log.gz2025-Sep-26 17:11:422.03K GZ Compressed Archive
coq.spec2025-Sep-26 00:00:0011.49K SPEC File
builder-live.log.gz2025-Sep-26 17:11:401.29K GZ Compressed Archive
results.json2025-Sep-26 17:11:40264.00B JSON File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project