Name | Last Modified | Size | Type |
---|---|---|---|
../ | 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 | 2019-Aug-28 18:37:28 | 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 |