Problem installing espressif/arduino-esp32 library

Development Tools IDE 1.x
2

Did you restart the Arduino IDE after installing the EPS32 package? You need to close all IDE windows and then start the IDE.