Unable to download via board manager but can access via the web

Development Tools IDE 1.x
8

in addition to what @in0 suggested you might be able to move forward by downloading:

The board driver zip file. use in board manager "add a zip library"

It won't help when you need more code but it might get you started.