| ../ | | | Directory |
| ghc-geniplate-mirror-prof-0.7.9-38.fc39.x86_64.rpm | 2023-May-02 01:59:18 | 107.10K | RPM File |
| success | 2023-May-02 01:59:15 | 4.00B | 4/FEDORA-RAWHIDE-X86_64/05865829-AGDA//SUCCESS File |
| ghc-geniplate-mirror-devel-0.7.9-38.fc39.x86_64.rpm | 2023-May-02 01:59:20 | 71.61K | RPM File |
| ghc-murmur-hash-0.1.0.10-38.fc39.x86_64.rpm | 2023-May-02 01:59:21 | 24.50K | RPM File |
| build.info | 2023-May-02 01:35:16 | 42.00B | INFO File |
| ghc-Agda-doc-2.6.2.2-38.fc39.noarch.rpm | 2023-May-02 01:59:23 | 5.27M | RPM File |
| configs.tar.gz | 2023-May-02 01:59:15 | 35.88K | GZ Compressed Archive |
| build-05865829.rsync.log | 2023-May-02 01:59:17 | 1.58K | LOG File |
| backend.log.gz | 2023-May-02 01:59:47 | 1.80K | GZ Compressed Archive |
| ghc-murmur-hash-devel-0.1.0.10-38.fc39.x86_64.rpm | 2023-May-02 01:59:25 | 32.74K | RPM File |
| build.log.gz | 2023-May-02 01:59:14 | 76.48K | GZ Compressed Archive |
| ghc-geniplate-mirror-0.7.9-38.fc39.x86_64.rpm | 2023-May-02 01:59:26 | 59.81K | RPM File |
| Agda.spec | 2023-May-02 01:35:18 | 19.32K | SPEC File |
| ghc-Agda-devel-2.6.2.2-38.fc39.x86_64.rpm | 2023-May-02 01:59:28 | 14.77M | RPM File |
| root.log.gz | 2023-May-02 01:59:14 | 35.10K | GZ Compressed Archive |
| Agda-common-2.6.2.2-38.fc39.noarch.rpm | 2023-May-02 01:59:29 | 635.66K | RPM File |
| Agda-2.6.2.2-38.fc39.x86_64.rpm | 2023-May-02 01:59:32 | 9.53M | RPM File |
| state.log.gz | 2023-May-02 01:59:14 | 217.00B | GZ Compressed Archive |
| ghc-Agda-2.6.2.2-38.fc39.x86_64.rpm | 2023-May-02 01:59:34 | 9.34M | RPM File |
| builder-live.log.gz | 2023-May-02 01:59:15 | 128.74K | GZ Compressed Archive |
| ghc-murmur-hash-prof-0.1.0.10-38.fc39.x86_64.rpm | 2023-May-02 01:59:36 | 41.13K | RPM File |
| ghc-murmur-hash-doc-0.1.0.10-38.fc39.noarch.rpm | 2023-May-02 01:59:37 | 50.47K | RPM File |
| ghc-geniplate-mirror-doc-0.7.9-38.fc39.noarch.rpm | 2023-May-02 01:59:38 | 63.54K | RPM File |
| ghc-Agda-prof-2.6.2.2-38.fc39.x86_64.rpm | 2023-May-02 01:59:41 | 24.39M | RPM File |
| results.json | 2023-May-02 01:59:15 | 2.68K | JSON File |
| hw_info.log.gz | 2023-May-02 01:36:25 | 1.33K | GZ Compressed Archive |
| Agda-2.6.2.2-38.fc39.src.rpm | 2023-May-02 01:59:43 | 1.67M | RPM File |