/dev-embedded/arduino-builder/files/

• ../
• arduino-builder-1.3.25-platform-paths.patch