| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| configs/ | 2019-Sep-04 07:39:03 | -- | Directory |
| idris.spec | 2018-Nov-10 08:10:09 | 7.01K | SPEC File |
| success | 2018-Nov-10 08:37:38 | 4.00B | Text File |
| idris-1.3.1-1.fc30.ppc64le.rpm | 2018-Nov-10 08:37:42 | 34.21M | RPM File |
| idris-1.3.1-1.fc30.src.rpm | 2018-Nov-10 08:37:42 | 1.97M | RPM File |
| build.info | 2020-Feb-24 22:35:55 | 75.00B | INFO File |
| backend.log.gz | 2018-Nov-10 08:37:43 | 784.00B | GZ Compressed Archive |
| build.log.gz | 2018-Nov-10 08:37:36 | 15.69K | GZ Compressed Archive |
| root.log.gz | 2018-Nov-10 08:37:37 | 13.37K | GZ Compressed Archive |
| state.log.gz | 2018-Nov-10 08:37:36 | 291.00B | GZ Compressed Archive |
| builder-live.log | 2018-Nov-10 08:37:38 | 255.52K | LOG File |
| build-00822376.rsync.log | 2018-Nov-10 08:37:41 | 1.71K | LOG File |
| hw_info.log.gz | 2018-Nov-10 08:13:10 | 503.00B | GZ Compressed Archive |