arduino boards manager configuration
Ok, as @IgnacioVazquez-Abrams suggested: the configuration files for the plugins can be found in the Arduino ide preferences directory. Click the menu Arduino->Preferences (under macosx) at the bottom of the window there is the clickable path of the preferences.txt file. In the same folder as that file you will find a packages folder, where the plugins are downloaded.