../ 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-2.debian.tar.xz 27-Jan-2021 16:36 9756 arduino-builder_1.3.25-2.dsc 27-Jan-2021 16:36 2254 arduino-builder_1.3.25-2_armhf.deb 01-Feb-2021 22:08 756172 arduino-builder_1.3.25.orig.tar.xz 10-Jun-2018 11:15 150476