hello o/ I’m hopping back to learning elixir/phoenix but running into a stumbling block following the phoenix installation guide:

This happened the first time I tried running mix local.hex but the suggested github alternative command worked (mix archive.install github hexpm/hex branch latest).

But then I got the same error still on other commands

$ mix deps.get
Failed to fetch record for 'hexpm/file_system' from registry (using cache instead)
{:failed_connect, [{:to_address, {'repo.hex.pm', 443}}, {:inet, [:inet], :nxdomain}]}
Failed to fetch record for 'hexpm/phoenix_live_dashboard' from registry (using cache instead)
{:failed_connect, [{:to_address, {'repo.hex.pm', 443}}, {:inet, [:inet], :nxdomain}]}
Failed to fetch record for 'hexpm/gettext' from registry (using cache instead)

$ mix ecto.create
Could not find "rebar3", which is needed to build dependency :ranch
I can install a local copy which is just used by Mix
Shall I install rebar3? (if running non-interactively, use "mix local.rebar --force") [Yn] y
** (Mix) httpc request failed with: {:failed_connect, [{:to_address, {'repo.hex.pm', 443}}, {:inet, [:inet], :nxdomain}]}

Could not install Rebar because Mix could not download metadata at https://repo.hex.pm/installs/rebar-1.x.csv.

From searching the forum it looks like it might be related to mix using IPV6 but my ISP (one of the main 3 in the UK) doesn’t support this yet

I was considering spinning up a Digital Ocean box and working off of that instead

Is there a way to fall back to IPV4 in the mix tool maybe? Or possibly something else that might be going on here?

Any help would be much appreciated