Name Last modified Size Description![[PARENTDIR]](/spicons/back.gif)
Parent Directory -
![[ ]](/icons/text.png){kind=icon}
search 2018-08-26 18:59 152
list_available 2018-08-26 18:58 152
uninstall 2018-08-26 19:00 128
install 2018-08-26 18:57 127
update 2018-08-26 19:01 126
list_installed 2018-08-26 18:58 126
getkey 2018-08-26 18:56 120
magic_status 2018-08-26 18:59 110
getarchname 2018-08-26 18:55 109
getprefix 2018-08-26 18:56 107
pre_run 2018-08-26 18:59 105
setup 2018-08-26 19:00 103
langlist 2018-08-16 18:30 91