../ arduino-mk_1.5.2-2.1.debian.tar.xz 18-Jul-2025 16:43 4160 arduino-mk_1.5.2-2.1.dsc 18-Jul-2025 16:43 1117 arduino-mk_1.5.2-2.1_all.deb 17-Jul-2025 14:57 40K arduino-mk_1.5.2.orig.tar.gz 18-Jul-2025 16:43 60K