How do I change versions of AVRBoards?
I have Arduino v. 1.6.12.
I assume by "AVRBoards" you mean Arduino AVR Boards:
- Tools > Board > Boards Manager...
- Wait until downloads complete.
- Click on the "Arduino AVR Boards" entry.
- Select the desired version from the "Select version" drop down menu.
- Click the "Install" button.
- Wait until installation completes.
- Click the "Close" button.
Thanks for that