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