Name | Last Modified | Size | Type |
---|---|---|---|
../ | Directory | ||
tmp/ | 2022-Aug-11 12:34:50 | -- | Directory |
repodata/ | 2022-Aug-11 12:34:50 | -- | Directory |
cache/ | 2022-Aug-11 12:34:50 | -- | Directory |
02682660-idris2/ | 2022-Oct-19 10:11:05 | -- | Directory |
appdata/ | 2022-Aug-11 12:34:50 | -- | Directory |