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

NameLast ModifiedSizeType
../  Directory
success2025-Sep-27 09:11:064.00B Text File
build-09609957.rsync.log2025-Sep-27 09:11:07685.00B LOG File
coq-9.1.0-1.src.rpm2025-Sep-27 09:11:066.11M RPM File
build.info2025-Sep-27 09:11:0240.00B INFO File
coq-9.1.0.tar.gz2025-Sep-27 09:11:066.10M GZ Compressed Archive
backend.log.gz2025-Sep-27 09:11:072.03K GZ Compressed Archive
coq.spec2025-Sep-27 00:00:0012.47K SPEC File
builder-live.log.gz2025-Sep-27 09:11:061.29K GZ Compressed Archive
results.json2025-Sep-27 09:11:06264.00B JSON File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project