actually now that I think about it, there are some other tools that pants uses, that ordinarily pants tries to download from thepublic internet, that can be configured to be fetched from a local area network source in pants config