| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| tmp/ | 2021-Aug-11 18:07:46 | -- | Directory |
| 02315659-idris2/ | 2022-Oct-19 10:11:06 | -- | Directory |
| repodata/ | 2021-Sep-05 07:10:55 | -- | Directory |
| cache/ | 2021-Aug-11 18:07:46 | -- | Directory |
| 02682239-idris2/ | 2022-Oct-19 10:11:06 | -- | Directory |
| appdata/ | 2021-Sep-05 07:10:55 | -- | Directory |