Packages from the vendor arikun

arikun/arinstaller
arikun/mchecker
arikun/mindash
arikun/sabmin
arikun/stislasimple