A lightweight package manager for Android based on opkg