GitHub repository: per1234/ino-hardware-package-list
Description: A list of all known Arduino boards platforms