Infrared remote library for Arduino: send and receive infrared signals with multiple protocols Port from Arduino-IRremote https://github.com/z3t0/Arduino-IRremote

IRremoteInt.h/shortlog@c82a0d54a024: not found in manifest