GitHub repository: 53175ddd/library-registry
Description: Arduino Library Manager list