![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BUILD | 2017-08-10 15:00 | 43 | |
| DEPENDS | 2017-08-10 15:00 | 716 | |
| DETAILS | 2018-11-10 18:00 | 727 | |
| HISTORY | 2018-11-10 18:00 | 2.6K | |
| INSTALL | 2007-11-13 01:58 | 79 | |
| PRE_BUILD | 2017-08-10 15:00 | 122 | |
| slang.gpg | 2015-05-26 10:04 | 891 | |