../ | | | Directory |
build-08069319.rsync.log | 2024-Sep-25 13:02:41 | 1.58K | LOG File |
ghc-murmur-hash-doc-0.1.0.10-50.fc42.noarch.rpm | 2024-Sep-25 13:02:42 | 51.04K | RPM File |
success | 2024-Sep-25 13:02:39 | 4.00B | Text File |
Agda-2.6.4.3-50.fc42.src.rpm | 2024-Sep-25 13:02:43 | 1.85M | RPM File |
Agda-2.6.4.3-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:44 | 9.87M | RPM File |
ghc-murmur-hash-devel-0.1.0.10-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:45 | 34.67K | RPM File |
build.info | 2024-Sep-25 12:43:03 | 40.00B | INFO File |
ghc-Agda-devel-2.6.4.3-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:46 | 25.81M | RPM File |
configs.tar.gz | 2024-Sep-25 13:02:40 | 37.92K | GZ Compressed Archive |
backend.log.gz | 2024-Sep-25 13:03:04 | 2.95K | GZ Compressed Archive |
ghc-peano-prof-0.1.0.2-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:47 | 41.05K | RPM File |
build.log.gz | 2024-Sep-25 12:43:29 | 959.00B | GZ Compressed Archive |
ghc-murmur-hash-prof-0.1.0.10-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:48 | 46.16K | RPM File |
Agda.spec | 2024-Sep-25 12:43:06 | 21.25K | SPEC File |
root.log.gz | 2024-Sep-25 12:43:29 | 15.61K | GZ Compressed Archive |
ghc-vector-hashtables-0.1.2.0-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:49 | 135.36K | RPM File |
state.log.gz | 2024-Sep-25 12:43:29 | 309.00B | GZ Compressed Archive |
ghc-peano-devel-0.1.0.2-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:50 | 32.75K | RPM File |
ghc-vector-hashtables-doc-0.1.2.0-50.fc42.noarch.rpm | 2024-Sep-25 13:02:51 | 90.06K | RPM File |
ghc-Agda-prof-2.6.4.3-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:53 | 40.63M | RPM File |
builder-live.log.gz | 2024-Sep-25 13:02:39 | 118.47K | GZ Compressed Archive |
Agda-common-2.6.4.3-50.fc42.noarch.rpm | 2024-Sep-25 13:02:54 | 579.28K | RPM File |
ghc-vector-hashtables-prof-0.1.2.0-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:55 | 436.61K | RPM File |
ghc-Agda-doc-2.6.4.3-50.fc42.noarch.rpm | 2024-Sep-25 13:02:56 | 6.16M | RPM File |
ghc-vector-hashtables-devel-0.1.2.0-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:57 | 244.16K | RPM File |
results.json | 2024-Sep-25 13:02:39 | 3.46K | JSON File |
ghc-murmur-hash-0.1.0.10-50.fc42.aarch64.rpm | 2024-Sep-25 13:02:58 | 23.86K | RPM File |
hw_info.log.gz | 2024-Sep-25 12:43:31 | 915.00B | GZ Compressed Archive |
ghc-peano-doc-0.1.0.2-50.fc42.noarch.rpm | 2024-Sep-25 13:02:59 | 45.58K | RPM File |
ghc-peano-0.1.0.2-50.fc42.aarch64.rpm | 2024-Sep-25 13:03:00 | 24.63K | RPM File |
ghc-Agda-2.6.4.3-50.fc42.aarch64.rpm | 2024-Sep-25 13:03:01 | 10.34M | RPM File |