Index of /results/jakub/gcc-13-test.checker/fedora-39-ppc64le/05184077-Agda/

NameLast ModifiedSizeType
../  Directory
chroot_scan/2022-Dec-28 08:58:18-- Directory
success2022-Dec-28 10:19:504.00B CHECKER/FEDORA-39-PPC64LE/05184077-AGDA//SUCCESS File
ghc-geniplate-mirror-prof-0.7.8-37.fc38.ppc64le.rpm2022-Dec-28 10:19:54150.45K RPM File
ghc-Agda-2.6.2.2-37.fc38.ppc64le.rpm2022-Dec-28 10:19:5617.24M RPM File
build.info2023-Aug-10 21:48:5594.00B INFO File
ghc-Agda-prof-2.6.2.2-37.fc38.ppc64le.rpm2022-Dec-28 10:19:5837.30M RPM File
configs.tar.gz2022-Dec-28 10:19:5033.56K GZ Compressed Archive
ghc-geniplate-mirror-0.7.8-37.fc38.ppc64le.rpm2022-Dec-28 10:20:0085.49K RPM File
backend.log.gz2022-Dec-28 10:20:201.80K GZ Compressed Archive
build.log.gz2022-Dec-28 10:19:3774.28K GZ Compressed Archive
ghc-geniplate-mirror-doc-0.7.8-37.fc38.noarch.rpm2022-Dec-28 10:20:0165.12K RPM File
Agda.spec2022-Dec-28 08:56:1117.54K SPEC File
root.log.gz2022-Dec-28 10:19:3833.00K GZ Compressed Archive
state.log.gz2022-Dec-28 10:19:37223.00B GZ Compressed Archive
ghc-murmur-hash-prof-0.1.0.10-37.fc38.ppc64le.rpm2022-Dec-28 10:20:0347.13K RPM File
ghc-Agda-doc-2.6.2.2-37.fc38.noarch.rpm2022-Dec-28 10:20:055.62M RPM File
builder-live.log.gz2022-Dec-28 10:19:50125.38K GZ Compressed Archive
results.json2022-Dec-28 10:19:502.69K JSON File
Agda-common-2.6.2.2-37.fc38.noarch.rpm2022-Dec-28 10:20:07636.15K RPM File
hw_info.log.gz2022-Dec-28 08:58:33808.00B GZ Compressed Archive
Agda-2.6.2.2-37.fc38.src.rpm2022-Dec-28 10:20:081.66M RPM File
ghc-murmur-hash-doc-0.1.0.10-37.fc38.noarch.rpm2022-Dec-28 10:20:1051.19K RPM File
Agda-2.6.2.2-37.fc38.ppc64le.rpm2022-Dec-28 10:20:1111.80M RPM File
ghc-geniplate-mirror-devel-0.7.8-37.fc38.ppc64le.rpm2022-Dec-28 10:20:12103.71K RPM File
ghc-murmur-hash-devel-0.1.0.10-37.fc38.ppc64le.rpm2022-Dec-28 10:20:1437.80K RPM File
ghc-Agda-devel-2.6.2.2-37.fc38.ppc64le.rpm2022-Dec-28 10:20:1624.18M RPM File
build-05184077.rsync.log2022-Dec-28 10:19:531.61K LOG File
ghc-murmur-hash-0.1.0.10-37.fc38.ppc64le.rpm2022-Dec-28 10:20:1831.31K RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build