Version 2.0.6 of the chipKIT core has just been been released.
This version has been pushed to the Testing repository to confirm all packaging is correct - if you want to try it, make sure you have the Testing repository enabled in the Plugin Manager. If all goes well it should be released to the Master repository in about a week.
I have begun work on STM32F1 and STM32F4 support courtesy of Roger Clark's Arduino core. It's very much experimental at the moment, and we only have the STM32F4-DISCOVERY and Maple Mini boards in there (along with the JYETech DSO138 which is what prompted me to get these chips supported).