Storage for Arduino Boards Manager JSON and package files etc
For more information see the Wiki. Mainly the Getting Started page.
If you have any issue to download/use a package, you could file an issue on Github.
Or submit a topic on the stm32duino forum:
-
questions on the STM32 Core
-
bugs/enhancements on the STM core: Bugs and enhancements