I want to download package_pico4ML_index in Arduino IDE boardmanager. But I get an error message:
error during download https://www.arducam.com/downloads/Pico/package_pico4ML_index.json.
Is the package not available? If so, what can you use instead?