| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| success | 2023-Aug-19 22:48:42 | 4.00B | Text File |
| idris2-debuginfo-0.6.0-0.1.fc40.x86_64.rpm | 2023-Aug-19 22:48:46 | 42.48K | RPM File |
| build.info | 2023-Aug-19 22:38:47 | 42.00B | INFO File |
| idris2-0.6.0-0.1.fc40.src.rpm | 2023-Aug-19 22:48:48 | 3.47M | RPM File |
| configs.tar.gz | 2023-Aug-19 22:48:42 | 32.70K | GZ Compressed Archive |
| backend.log.gz | 2023-Aug-19 22:48:53 | 2.07K | GZ Compressed Archive |
| build.log.gz | 2023-Aug-19 22:39:51 | 961.00B | GZ Compressed Archive |
| build-06319165.rsync.log | 2023-Aug-19 22:48:44 | 1.09K | LOG File |
| root.log.gz | 2023-Aug-19 22:39:51 | 17.36K | GZ Compressed Archive |
| state.log.gz | 2023-Aug-19 22:39:51 | 332.00B | GZ Compressed Archive |
| builder-live.log.gz | 2023-Aug-19 22:48:42 | 34.30K | GZ Compressed Archive |
| results.json | 2023-Aug-19 22:48:42 | 741.00B | JSON File |
| idris2.spec | 2023-Aug-19 22:38:49 | 4.81K | SPEC File |
| prune.log | 2023-Sep-03 06:57:47 | 214.00B | LOG File |
| hw_info.log.gz | 2023-Aug-19 22:39:52 | 1.33K | GZ Compressed Archive |