../ | | | Directory |
ghc-idris-prof-1.3.4-20.fc43.x86_64.rpm | 2025-Jun-11 01:13:06 | 10.28M | RPM File |
idris.spec | 2025-Jun-11 00:56:45 | 16.90K | SPEC File |
success | 2025-Jun-11 01:13:02 | 4.00B | 1/FEDORA-RAWHIDE-X86_64/09151308-IDRIS//SUCCESS File |
idris-static-1.3.4-20.fc43.x86_64.rpm | 2025-Jun-11 01:13:07 | 68.27K | RPM File |
build.info | 2025-Jun-11 00:56:43 | 59.00B | INFO File |
configs.tar.gz | 2025-Jun-11 01:13:03 | 43.14K | GZ Compressed Archive |
backend.log.gz | 2025-Jun-11 01:13:16 | 3.95K | GZ Compressed Archive |
build.log.gz | 2025-Jun-11 00:57:16 | 962.00B | GZ Compressed Archive |
idris-1.3.4-20.fc43.x86_64.rpm | 2025-Jun-11 01:13:08 | 22.69M | RPM File |
root.log.gz | 2025-Jun-11 00:57:16 | 17.72K | GZ Compressed Archive |
state.log.gz | 2025-Jun-11 00:57:16 | 308.00B | GZ Compressed Archive |
ghc-idris-devel-1.3.4-20.fc43.x86_64.rpm | 2025-Jun-11 01:13:09 | 5.16M | RPM File |
ghc-idris-1.3.4-20.fc43.x86_64.rpm | 2025-Jun-11 01:13:10 | 3.37M | RPM File |
chroot_scan.tar.gz | 2025-Jun-11 01:13:01 | 64.70K | GZ Compressed Archive |
builder-live.log.gz | 2025-Jun-11 01:13:03 | 79.00K | GZ Compressed Archive |
idris-manual-1.3.4-20.fc43.noarch.rpm | 2025-Jun-11 01:13:11 | 630.22K | RPM File |
ghc-idris-doc-1.3.4-20.fc43.noarch.rpm | 2025-Jun-11 01:13:11 | 2.40M | RPM File |
results.json | 2025-Jun-11 01:13:02 | 1.76K | JSON File |
hw_info.log.gz | 2025-Jun-11 00:57:18 | 1.38K | GZ Compressed Archive |
idris-docs-1.3.4-20.fc43.noarch.rpm | 2025-Jun-11 01:13:12 | 173.37K | RPM File |
idris-common-1.3.4-20.fc43.noarch.rpm | 2025-Jun-11 01:13:13 | 3.98M | RPM File |
build-09151308.rsync.log | 2025-Jun-11 01:13:05 | 728.00B | LOG File |
idris-1.3.4-20.fc43.src.rpm | 2025-Jun-11 01:13:14 | 1.68M | RPM File |