No boards manager in IDE

Good morning,

I run Debian Buster on a Raspberry Pi 4. However there is no "Boards Manager" under "Tools -> Board".

Any pointers?

Thank you

Did you install the IDE from the repository? Or download from https://www.arduino.cc/en/Main/Software?

The former is severely outdated and might not support board manager; don't know for sure.

I got it from the repository :smiley: