Cannot get Board Manager to show the microcontrollers attiny84 and 85

I'm glad to hear you found the solution! Have you been able to upload to your ATtiny84 or ATtiny85 yet?