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