Index of /results/jakub/gcc-13-test.checker/fedora-41-x86_64/05184077-Agda/

NameLast ModifiedSizeType
../  Directory
Agda-2.6.2.2-37.fc38.x86_64.rpm2022-Dec-28 09:37:557.88M RPM File
success2022-Dec-28 09:37:514.00B CHECKER/FEDORA-41-X86_64/05184077-AGDA//SUCCESS File
ghc-murmur-hash-prof-0.1.0.10-37.fc38.x86_64.rpm2022-Dec-28 09:37:5738.94K RPM File
build.info2024-Aug-12 13:19:0993.00B INFO File
ghc-Agda-prof-2.6.2.2-37.fc38.x86_64.rpm2022-Dec-28 09:37:5925.37M RPM File
configs.tar.gz2022-Dec-28 09:37:5134.71K GZ Compressed Archive
backend.log.gz2022-Dec-28 09:38:171.81K GZ Compressed Archive
build.log.gz2022-Dec-28 09:37:5074.31K GZ Compressed Archive
ghc-geniplate-mirror-doc-0.7.8-37.fc38.noarch.rpm2022-Dec-28 09:38:0065.15K RPM File
Agda.spec2022-Dec-28 09:02:2717.54K SPEC File
root.log.gz2022-Dec-28 09:37:5032.33K GZ Compressed Archive
ghc-Agda-2.6.2.2-37.fc38.x86_64.rpm2022-Dec-28 09:38:019.79M RPM File
state.log.gz2022-Dec-28 09:37:50219.00B GZ Compressed Archive
ghc-Agda-doc-2.6.2.2-37.fc38.noarch.rpm2022-Dec-28 09:38:035.62M RPM File
builder-live.log.gz2022-Dec-28 09:37:51123.60K GZ Compressed Archive
ghc-geniplate-mirror-prof-0.7.8-37.fc38.x86_64.rpm2022-Dec-28 09:38:04107.36K RPM File
ghc-geniplate-mirror-devel-0.7.8-37.fc38.x86_64.rpm2022-Dec-28 09:38:0672.35K RPM File
results.json2022-Dec-28 09:37:512.68K JSON File
Agda-common-2.6.2.2-37.fc38.noarch.rpm2022-Dec-28 09:38:07636.16K RPM File
ghc-murmur-hash-devel-0.1.0.10-37.fc38.x86_64.rpm2022-Dec-28 09:38:0831.33K RPM File
hw_info.log.gz2022-Dec-28 09:03:231.27K GZ Compressed Archive
Agda-2.6.2.2-37.fc38.src.rpm2022-Dec-28 09:38:101.66M RPM File
ghc-murmur-hash-doc-0.1.0.10-37.fc38.noarch.rpm2022-Dec-28 09:38:1151.20K RPM File
build-05184077.rsync.log2022-Dec-28 09:37:531.59K LOG File
ghc-murmur-hash-0.1.0.10-37.fc38.x86_64.rpm2022-Dec-28 09:38:1224.28K RPM File
ghc-geniplate-mirror-0.7.8-37.fc38.x86_64.rpm2022-Dec-28 09:38:1359.47K RPM File
ghc-Agda-devel-2.6.2.2-37.fc38.x86_64.rpm2022-Dec-28 09:38:1515.47M RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build