Index of /results/churchyard/setuptools-80.9.0:custom:isolated/fedora-rawhide-x86_64/09650991-coq/

NameLast ModifiedSizeType
../  Directory
coq-coqide-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:333.14M RPM File
coq-core-debuginfo-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:3425.70M RPM File
success2025-Oct-07 13:18:294.00B 0:CUSTOM:ISOLATED/FEDORA-RAWHIDE-X86_64/09650991-COQ//SUCCESS File
coq-coqide-server-debuginfo-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:354.42M RPM File
coq-coqide-debuginfo-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:361.84M RPM File
build-09650991.rsync.log2025-Oct-07 13:18:31738.00B LOG File
build.info2025-Oct-07 13:03:2441.00B INFO File
coq-debugsource-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:371.96M RPM File
configs.tar.gz2025-Oct-07 13:18:2946.16K GZ Compressed Archive
backend.log.gz2025-Oct-07 13:18:514.03K GZ Compressed Archive
build.log.gz2025-Oct-07 13:04:08934.00B GZ Compressed Archive
coq.spec2025-Oct-07 13:03:2636.29K SPEC File
coq-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:3824.07M RPM File
coq-core-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:42229.85M RPM File
coq-coqide-server-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:4527.10M RPM File
root.log.gz2025-Oct-07 13:04:0818.15K GZ Compressed Archive
state.log.gz2025-Oct-07 13:04:08306.00B GZ Compressed Archive
chroot_scan.tar.gz2025-Oct-07 13:18:2856.42K GZ Compressed Archive
builder-live.log.gz2025-Oct-07 13:18:29227.65K GZ Compressed Archive
coq-8.20.1-5.fc44.src.rpm2025-Oct-07 13:18:467.52M RPM File
results.json2025-Oct-07 13:18:291.78K JSON File
hw_info.log.gz2025-Oct-07 13:04:101.46K GZ Compressed Archive
coq-debuginfo-8.20.1-5.fc44.x86_64.rpm2025-Oct-07 13:18:47422.31K RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project