../ arduino-mk_1.5.2-2.1.debian.tar.xz 27-Aug-2023 02:00 4156 arduino-mk_1.5.2-2.1.dsc 27-Aug-2023 02:00 2033 arduino-mk_1.5.2-2.1_all.deb 27-Aug-2023 02:00 34132 arduino-mk_1.5.2-2.debian.tar.xz 25-Aug-2023 20:40 4020 arduino-mk_1.5.2-2.dsc 25-Aug-2023 20:40 1992 arduino-mk_1.5.2-2_all.deb 25-Aug-2023 20:40 34008 arduino-mk_1.5.2.orig.tar.gz 25-Aug-2023 20:40 61793