R4 not showing up in Boards Manager

I have the latest version of the IDE but the new R4 boards are not showing up in the boards manager. All the documentation indicates it is a given they will show up. Any suggestions?

--ja

Welcome to the forum

What have you entered in the Search dialogue in the Board Manager ?

Here is what I see

image

I see nothing. :frowning:

--ja

@jabbott
try restarting your IDE, maybe your boards index is not up-to-date

can you confirm your machine can reach this URL via browser?
https://downloads.arduino.cc/packages/package_index.json

That fixed it. I guess it had been a while. Thanks! :blush: