We no longer use a local Debian repo

We simply push the debs to the machines and install them there.