Index of /results/psimovec/openblas-0.3.23/fedora-40-s390x/06982723-coq/

NameLast ModifiedSizeType
../  Directory
success2024-Feb-02 23:10:134.00B 23/FEDORA-40-S390X/06982723-COQ//SUCCESS File
coq-coqide-debuginfo-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:17779.43K RPM File
coq-core-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:21236.50M RPM File
build.info2024-Feb-13 00:13:0473.00B INFO File
configs.tar.gz2024-Feb-02 23:10:1335.12K GZ Compressed Archive
backend.log.gz2024-Feb-02 23:10:472.57K GZ Compressed Archive
build.log.gz2024-Feb-02 22:51:54954.00B GZ Compressed Archive
coq.spec2024-Feb-02 22:49:1534.48K SPEC File
coq-8.18.0-4.fc40.src.rpm2024-Feb-02 23:10:227.30M RPM File
coq-core-debuginfo-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:2415.44M RPM File
root.log.gz2024-Feb-02 22:51:5416.32K GZ Compressed Archive
coq-coqide-server-debuginfo-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:242.48M RPM File
state.log.gz2024-Feb-02 22:51:54332.00B GZ Compressed Archive
coq-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:2623.60M RPM File
builder-live.log.gz2024-Feb-02 23:10:13207.15K GZ Compressed Archive
coq-debuginfo-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:2621.83K RPM File
coq-coqide-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:273.74M RPM File
build-06982723.rsync.log2024-Feb-02 23:10:161.13K LOG File
results.json2024-Feb-02 23:10:131.78K JSON File
hw_info.log.gz2024-Feb-02 22:51:56891.00B GZ Compressed Archive
coq-coqide-server-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:2828.63M RPM File
coq-debugsource-8.18.0-4.fc40.s390x.rpm2024-Feb-02 23:10:291.89M RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build