| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | Directory | ||
| 01424585-lean3-community/ | 2022-Oct-18 21:09:37 | -- | Directory |
| tmp/ | 2019-Nov-21 10:12:51 | -- | Directory |
| repodata/ | 2021-Apr-27 07:44:30 | -- | Directory |
| cache/ | 2019-Nov-21 10:12:51 | -- | Directory |
| appdata/ | 2021-Apr-27 07:44:30 | -- | Directory |