![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 3.1.2-no-user-root.p..> | 2018-04-01 15:08 | 847 | |
| 3.1.2-pip-optional-p..> | 2018-04-01 15:08 | 458 | |
| 3.1.3-desktop.patch | 2018-05-19 10:09 | 683 | |
| 3.2.3-pip-optional-p..> | 2018-10-14 20:39 | 348 | |
| 3.3.2-desktop.patch | 2019-01-09 03:39 | 685 | |