Hi! Arduino sources have some wrong md5sums: package_index.json.gz actual md5sum is: 3706a10af3b6ce2a487326ada11813dd library_index.json.gz actual md5sum is: afaa7a2203ba68d7b39b5bdaadc8dd71 package_index.json.sig actual md5sum is: cec3bd1aa9c3adaad84edf069cd283e Thanks