Ubuntu PPA updater for Lean