Allez à l'adresse suivante pour télécharger la bibliothèque.

Sur la page d'accueil cliquer sur le bouton Cloner ou télécharger puis sur Télécharger ZIP.

Enregistré le fichier Zip dans le répertoire de votre choix.

Aller a l'emplacement ou vous avez télécharé le fichier ZIP...

... extraire l'archive ZIP avec un logiciel tel que Winzip, Winrar, 7zip, ect......

... à l'endroit ou ce trouve les bibliothèques, puis cliquer sur OK.

Ouvrir l'IDE Arduino, puis aller dans le menu Croquis / Inclure une bibliothèque... on peut constater que la bibliothèque IRremote a bien été installé.

Avant de commencer, assurez-vous que la dernière version de l'IDE Arduino est installée sur votre ordinateur...

... voir également.

Pour connaitre l'emplacement des bibliothèques, lancer l'IDE Arduino, puis aller dans le menu Fichier / Préférence... l'emplacement est indiqué dans l'onglet Paramètres.

Après quelque secondes le message dans la console de débogage indique que la bibliothèque à bien été importé.

Sélectionner le fichier zip précédemment télécharger, puis cliquer sur ouvrir.

Ouvrir l'IDE Arduino, puis aller dans le menu Croquis / Inclure une bibliothèque / Ajouter la bibliothèque .ZIP...

Comme on peut le voir, dans le menu Croquis / Inclure une bibliothèque... la bibliothèque IRremote a bien été installé.

Dans cet exemple nous allons installer la bibliothèque Arduino-IRremote-master qui permet de recevoir des signaux infrarouges sur un Arduino ou une carte ESP32 avec le capteur infrarouge VS1838B.