/devel/arduino/files/

• ../
• arduino.in
• extrapatch-hardware-arduino-boards.txt
• extrapatch-hardware-arduino-cores-arduino-WInterrupts.c
• extrapatch-hardware-arduino-variants-atmega644p-pins_arduino.h
• pkg-message.in