Error downloading ATTINY libraries from github

Try this:

  • Click the link on the line after File > Preferences > More preferences can be edited directly in the file: - this should open a folder named something like Arduino15 (the exact name depends on your OS).
  • Delete all files in that folder except preferences.txt. Please be very careful when deleting files on your computer. When in doubt back up!
  • Open Boards Manager again to see if the download error still occurs.