Where can I get a boards.h library zip file?

Using Arduino Programming Questions
1

I have been scanning the web and can't find the boards.h library.
I found the .h file, but without the .cpp file it won't install.

I am trying to use the EVOThings workbench to control a light with a bluetooth device.

Does anyone have a copy of the library?

2

We need some context. Post a link to where you found this code that references library.h. Please use the chain links icon on the toolbar when you post links to make them clickable.

3