../ arduino-1.0.1-build.xml.patch 09-Aug-2015 00:38 1732 arduino-1.0.3-script.patch 09-Aug-2015 00:38 608 arduino-1.8.5-avr-platform.txt.patch 06-Mar-2018 20:08 1215 arduino-1.8.5-build.xml.patch 06-Mar-2018 20:08 1402 arduino-1.8.5-lib-loading.patch 06-Mar-2018 20:08 1164 arduino.desktop 09-Aug-2015 00:38 196