| ../ | | | Directory |
| ghc-peano-prof-0.1.0.2-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:47 | 36.39K | RPM File |
| ghc-Agda-prof-2.6.4.1-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:48 | 33.42M | RPM File |
| ghc-vector-hashtables-devel-0.1.1.4-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:49 | 162.76K | RPM File |
| ghc-Agda-doc-2.6.4.1-47.fc41.noarch.rpm | 2024-Feb-28 17:58:50 | 6.21M | RPM File |
| success | 2024-Feb-28 17:58:42 | 4.00B | Text File |
| Agda-common-2.6.4.1-47.fc41.noarch.rpm | 2024-Feb-28 17:58:51 | 582.44K | RPM File |
| ghc-peano-doc-0.1.0.2-47.fc41.noarch.rpm | 2024-Feb-28 17:58:51 | 45.60K | RPM File |
| ghc-Agda-devel-2.6.4.1-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:53 | 22.63M | RPM File |
| build.info | 2024-Feb-28 17:32:53 | 59.00B | INFO File |
| ghc-peano-0.1.0.2-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:53 | 25.80K | RPM File |
| ghc-peano-devel-0.1.0.2-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:54 | 29.88K | RPM File |
| ghc-Agda-2.6.4.1-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:55 | 11.57M | RPM File |
| configs.tar.gz | 2024-Feb-28 17:58:42 | 34.34K | GZ Compressed Archive |
| Agda-2.6.4.1-47.fc41.src.rpm | 2024-Feb-28 17:58:56 | 1.86M | RPM File |
| backend.log.gz | 2024-Feb-28 17:59:05 | 2.97K | GZ Compressed Archive |
| build-07069231.rsync.log | 2024-Feb-28 17:58:45 | 1.58K | LOG File |
| build.log.gz | 2024-Feb-28 17:34:52 | 963.00B | GZ Compressed Archive |
| Agda.spec | 2024-Feb-28 17:32:55 | 20.71K | SPEC File |
| ghc-murmur-hash-prof-0.1.0.10-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:57 | 40.96K | RPM File |
| ghc-vector-hashtables-doc-0.1.1.4-47.fc41.noarch.rpm | 2024-Feb-28 17:58:58 | 78.54K | RPM File |
| ghc-vector-hashtables-0.1.1.4-47.fc41.x86_64.rpm | 2024-Feb-28 17:58:59 | 117.27K | RPM File |
| root.log.gz | 2024-Feb-28 17:34:53 | 17.15K | GZ Compressed Archive |
| state.log.gz | 2024-Feb-28 17:34:53 | 332.00B | GZ Compressed Archive |
| ghc-murmur-hash-0.1.0.10-47.fc41.x86_64.rpm | 2024-Feb-28 17:59:00 | 25.10K | RPM File |
| builder-live.log.gz | 2024-Feb-28 17:58:42 | 124.43K | GZ Compressed Archive |
| Agda-2.6.4.1-47.fc41.x86_64.rpm | 2024-Feb-28 17:59:01 | 11.39M | RPM File |
| ghc-murmur-hash-doc-0.1.0.10-47.fc41.noarch.rpm | 2024-Feb-28 17:59:01 | 51.06K | RPM File |
| ghc-murmur-hash-devel-0.1.0.10-47.fc41.x86_64.rpm | 2024-Feb-28 17:59:02 | 32.69K | RPM File |
| results.json | 2024-Feb-28 17:58:42 | 3.45K | JSON File |
| hw_info.log.gz | 2024-Feb-28 17:34:55 | 1.35K | GZ Compressed Archive |
| ghc-vector-hashtables-prof-0.1.1.4-47.fc41.x86_64.rpm | 2024-Feb-28 17:59:03 | 291.97K | RPM File |