Hi @b707. Open File > Preferences in Arduino IDE and check to see if the URLs for each of those platforms are present in the Additional Boards Manager URLs preference. A quirk of Arduino IDE 1.x is that if you remove the URL of a platform from the Additional Boards Manager URLs field, then the IDE will no longer recognize the installation of that platform.