| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| prev_build_backup/ | 2019-Oct-09 12:10:12 | -- | Directory |
| configs/ | 2019-Sep-04 07:39:20 | -- | Directory |
| idris.spec | 2018-Nov-12 11:32:55 | 7.01K | SPEC File |
| success | 2018-Nov-12 14:05:58 | 4.00B | Text File |
| build.info | 2018-Nov-12 11:32:51 | 40.00B | INFO File |
| backend.log.gz | 2018-Nov-12 14:06:04 | 1.93K | GZ Compressed Archive |
| build.log.gz | 2018-Nov-12 14:05:47 | 9.90M | GZ Compressed Archive |
| idris-1.3.1-1.el7.src.rpm | 2018-Nov-12 14:06:03 | 1.97M | RPM File |
| root.log.gz | 2018-Nov-12 14:05:48 | 8.74K | GZ Compressed Archive |
| state.log.gz | 2018-Nov-12 14:05:47 | 292.00B | GZ Compressed Archive |
| idris-1.3.1-1.el7.ppc64le.rpm | 2018-Nov-12 14:06:02 | 41.23M | RPM File |
| builder-live.log.gz | 2018-Nov-12 14:05:58 | 5.42M | GZ Compressed Archive |
| build-00822376.rsync.log | 2018-Nov-12 14:06:01 | 444.00B | LOG File |
| hw_info.log.gz | 2018-Nov-12 11:35:07 | 495.00B | GZ Compressed Archive |