[devpi-dev] local private pip server with some public packages and their dependencies