Package Lists for Arduino Boards Manager

This repo contains the package_*_index.json files that can be used to add our boards to the Arduino v1.6.4+ IDE.