How to update the ESP32-Core "manually"?

Two days ago the ESP-Core 3.0.3 was released on github and I need it urgently as I need one new function of it. But I was not able to update the Arduino IDE to this core. The Arduino Board-Manager just shows me ESP32-cores up to Version 3.0.2.
I already updated the Arduino IDE vrom 2.3.1 to 2.3.2, but it doesn't help here.
So how can I install the ESP32-Core files "manually"?
Or how can I teach the Arduino IDE that there is a later ESP32-Core than 3.0.2?

rgds purehunter

Version 3.0.3 is available in the IDE Board Manager right now for me
image

@UKHeliBob Lucky guy :grinning:

grafik

I cannot see it...

When did you last restart the IDE ?

After your comment...

What URL do you have for ESP32 boards in the Additional Boards Manager ?

Mine is

https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json

1 Like

I have this link to the ESP32 Boards: https://dl.espressif.com/dl/package_esp32_index.json
Do you have a different?

Ok, this was the root cause. Thanks a lot!

Good news !