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

NameLast ModifiedSizeType
../  Directory
success2025-Sep-26 13:55:134.00B Text File
coq-9.1.0-1.src.rpm2025-Sep-26 13:55:136.11M RPM File
build.info2025-Sep-26 13:55:0942.00B INFO File
coq-9.1.0.tar.gz2025-Sep-26 13:55:136.10M GZ Compressed Archive
backend.log.gz2025-Sep-26 13:55:152.02K GZ Compressed Archive
build-09603534.rsync.log2025-Sep-26 13:55:15686.00B LOG File
coq.spec2025-Sep-26 00:00:0011.00K SPEC File
builder-live.log.gz2025-Sep-26 13:55:131.29K GZ Compressed Archive
results.json2025-Sep-26 13:55:13264.00B JSON File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project