../ | | | Directory |
chroot_scan/ | 2023-May-02 01:36:23 | -- | 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-41-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 | 2024-Aug-12 13:14:11 | 76.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 |