On my job computer internet connectivity of PowerShell is blocked because of security reasons.

This means that I cannot fetch dependencies by executing mix deps.get. What I can do, is to fetch the dependency by downloading it directly from GitHub through the browser and copying it into the ‘deps’-folder in my mix project. The GitHub repository, however, does not include the hex_metadata.config and the .hex files. This means that I cannot compile my mix project as mix cannot check if I have the right version of the dependency.

So what I do is that I fetch the dependency on my private computer (where everything works) and then send the hex_metadata.config and .hex files to my job computer where I copy them into the folder of the dependency.

My question is: Is there a way of manually fetching the hex_metadata.config and .hex files of a dependency without going via the shell (so I can add dependencies without needing my private computer) ?