With that info, I can give you the exact download or alternative method.

While the Arduino IDE’s built-in Library Manager is convenient, there are several compelling reasons to download the :