Had to reload because of hard disk failure and now cannot find how to get Arduino to program the Attiny84. The address for the boards in preferences is probably wrtong because I cannot fine it again. What is my problem?

Cannot get Board Manager to show the microcontrollers attiny84 and 85

Topic		Replies	Views
Arduino v 1.6.8 Programming	4	671	May 5, 2021
Installing ATtiny board cores on 1.6.4 Programming	6	5159	May 5, 2021
Attiny 3rd Party Boards	5	1323	May 6, 2021
adding a core instructions? 3rd Party Boards	19	2564	May 6, 2021
Installing ATtinyCore issue IDE 1.x	5	596	June 2, 2024