http://dan.drown.org/stm32duino/package_STM32duino_index.json, https://github.com/stm32duino/BoardManagerFiles/raw/main/package_stmicroelectronics_index.json
when i checked library manager in my arduino ide does not have like yours one (my arduino library doesn't have yours one as below :
