Tools: Debian repository

• We run our own intranet Debian repository

• Setting one up is easy - just a directory tree and a gzipped index file; RTFM

• All our servers have the repo in their apt sources list