Index of /results/ljavorsk/zlib-ng-rebase-fedora/fedora-rawhide-aarch64/08069319-Agda/

NameLast ModifiedSizeType
../  Directory
build-08069319.rsync.log2024-Sep-25 13:02:411.58K LOG File
ghc-murmur-hash-doc-0.1.0.10-50.fc42.noarch.rpm2024-Sep-25 13:02:4251.04K RPM File
success2024-Sep-25 13:02:394.00B Text File
Agda-2.6.4.3-50.fc42.src.rpm2024-Sep-25 13:02:431.85M RPM File
Agda-2.6.4.3-50.fc42.aarch64.rpm2024-Sep-25 13:02:449.87M RPM File
ghc-murmur-hash-devel-0.1.0.10-50.fc42.aarch64.rpm2024-Sep-25 13:02:4534.67K RPM File
build.info2024-Sep-25 12:43:0340.00B INFO File
ghc-Agda-devel-2.6.4.3-50.fc42.aarch64.rpm2024-Sep-25 13:02:4625.81M RPM File
configs.tar.gz2024-Sep-25 13:02:4037.92K GZ Compressed Archive
backend.log.gz2024-Sep-25 13:03:042.95K GZ Compressed Archive
ghc-peano-prof-0.1.0.2-50.fc42.aarch64.rpm2024-Sep-25 13:02:4741.05K RPM File
build.log.gz2024-Sep-25 12:43:29959.00B GZ Compressed Archive
ghc-murmur-hash-prof-0.1.0.10-50.fc42.aarch64.rpm2024-Sep-25 13:02:4846.16K RPM File
Agda.spec2024-Sep-25 12:43:0621.25K SPEC File
root.log.gz2024-Sep-25 12:43:2915.61K GZ Compressed Archive
ghc-vector-hashtables-0.1.2.0-50.fc42.aarch64.rpm2024-Sep-25 13:02:49135.36K RPM File
state.log.gz2024-Sep-25 12:43:29309.00B GZ Compressed Archive
ghc-peano-devel-0.1.0.2-50.fc42.aarch64.rpm2024-Sep-25 13:02:5032.75K RPM File
ghc-vector-hashtables-doc-0.1.2.0-50.fc42.noarch.rpm2024-Sep-25 13:02:5190.06K RPM File
ghc-Agda-prof-2.6.4.3-50.fc42.aarch64.rpm2024-Sep-25 13:02:5340.63M RPM File
builder-live.log.gz2024-Sep-25 13:02:39118.47K GZ Compressed Archive
Agda-common-2.6.4.3-50.fc42.noarch.rpm2024-Sep-25 13:02:54579.28K RPM File
ghc-vector-hashtables-prof-0.1.2.0-50.fc42.aarch64.rpm2024-Sep-25 13:02:55436.61K RPM File
ghc-Agda-doc-2.6.4.3-50.fc42.noarch.rpm2024-Sep-25 13:02:566.16M RPM File
ghc-vector-hashtables-devel-0.1.2.0-50.fc42.aarch64.rpm2024-Sep-25 13:02:57244.16K RPM File
results.json2024-Sep-25 13:02:393.46K JSON File
ghc-murmur-hash-0.1.0.10-50.fc42.aarch64.rpm2024-Sep-25 13:02:5823.86K RPM File
hw_info.log.gz2024-Sep-25 12:43:31915.00B GZ Compressed Archive
ghc-peano-doc-0.1.0.2-50.fc42.noarch.rpm2024-Sep-25 13:02:5945.58K RPM File
ghc-peano-0.1.0.2-50.fc42.aarch64.rpm2024-Sep-25 13:03:0024.63K RPM File
ghc-Agda-2.6.4.3-50.fc42.aarch64.rpm2024-Sep-25 13:03:0110.34M RPM File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build