Great suggestion, done... Thanks, -- Javier On Fri, Apr 8, 2016 at 7:43 PM, Justin Dray <justin at dray.be> wrote: > Just use git to clone it. Packages don't get removed from the repo, just > hidden from the web interface. -- Javier