| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| tmp/ | 2018-Nov-03 07:56:55 | -- | Directory |
| repodata/ | 2020-Oct-25 14:10:10 | -- | Directory |
| 01021204-clingo5/ | 2022-Oct-18 21:49:49 | -- | Directory |
| cache/ | 2018-Nov-03 07:56:55 | -- | Directory |
| appdata/ | 2020-Oct-25 14:10:10 | -- | Directory |
| build-01021204.log | 2019-Aug-26 07:17:25 | 3.60K | LOG File |