../ arduino-builder_1.3.25-1.debian.tar.xz 10-Jun-2018 11:15 8308 arduino-builder_1.3.25-1.dsc 10-Jun-2018 11:15 2248 arduino-builder_1.3.25-1_armhf.deb 13-Nov-2018 10:09 641500 arduino-builder_1.3.25.orig.tar.xz 10-Jun-2018 11:15 150476