../ arduino-builder-1.3.25-platform-paths.patch 06-Mar-2018 20:08 982 arduino-builder-1.3.25-skip-tests.patch 15-Oct-2018 18:39 5030 arduino-builder-1.4.1-platform-paths.patch 09-Oct-2018 17:39 952 arduino-builder-1.4.1-skip-tests.patch 15-Oct-2018 18:39 5635 platform.txt 06-Sep-2020 19:09 1189