../ arduino-builder_1.3.25-1+b10_amd64.deb 25-Jan-2019 07:18 861484 arduino-builder_1.3.25-1+b10_i386.deb 25-Jan-2019 04:41 822384 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.orig.tar.xz 10-Jun-2018 11:15 150476