simple updater for a trivial debian repository