![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| dists/ | 2019-07-16 23:41 | - | |
| iso/ | 2019-10-15 01:59 | - | |
| misc/ | 2019-07-06 17:38 | - | |
| pool/ | 2019-02-25 03:51 | - | |
| project/ | 2018-03-18 14:23 | - | |
| keyring.gpg | 2019-07-06 17:38 | 9.7K | |
| last-sync.stamp | 2019-10-18 13:10 | 11 | |
| last-sync.txt | 2019-10-18 13:10 | 29 | |
| last-update.txt | 2019-10-05 14:06 | 28 | |