| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| tmp/ | 2021-Jan-17 16:11:10 | -- | Directory |
| 06319950-idris2/ | 2023-Aug-20 12:38:28 | -- | Directory |
| repodata/ | 2023-Sep-04 06:36:45 | -- | Directory |
| 06319165-idris2/ | 2023-Sep-03 06:57:47 | -- | Directory |
| cache/ | 2021-Jan-17 16:11:10 | -- | Directory |
| appdata/ | 2021-Sep-06 03:52:51 | -- | Directory |