Board link for RP2040 not working for arduino-cli

[PsySc0rpi0n]

Hi.

Raspberry Pi RP2040 Boards: https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json

All major RP2040-based boards

Adding this link to my arduino-cli yaml configuration file is producing the following error, when running arduino-cli core update-index command:

Downloading index: package_rp2040_index.json Get "https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json": dial tcp: lookup github.com on 192.168.1.254:53: no such host

Is there a new link for this board?
I also tried:
https://github.com/earlephilhower/arduino-pico/releases/download/3.6.3/package_rp2040_index.json
I'm using Debian Bookworm (live) and arduino-cli Version: 0.36.0-rc.1 Commit: 31e0341 Date: 2024-01-11T12:36:53Z