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

NameLast ModifiedSizeType
../  Directory
build-09609997.rsync.log2025-Sep-27 10:22:45687.00B LOG File
success2025-Sep-27 10:22:444.00B Text File
coq-9.1.0-1.src.rpm2025-Sep-27 10:22:446.11M RPM File
build.info2025-Sep-27 10:22:4042.00B INFO File
coq-9.1.0.tar.gz2025-Sep-27 10:22:446.10M GZ Compressed Archive
backend.log.gz2025-Sep-27 10:22:462.03K GZ Compressed Archive
coq.spec2025-Sep-27 00:00:0012.49K SPEC File
builder-live.log.gz2025-Sep-27 10:22:441.29K GZ Compressed Archive
results.json2025-Sep-27 10:22:44264.00B JSON File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project