I installed the STM32_Arduino zip contents into ~/.arduino/hardware as follows:
and then underneath that folder ....
john@Dell:~/.arduino/hardware$ cd Arduino_STM32/
drivers examples LICENSE README.md STM32 STM32F1 STM32F3 STM32F4 tools
Still Arduino does not list the STM32 board options. I notice there is no longer a Boards Manager.
I installled Arduino earlier today from the Ubuntu Repositories.
Please help ?