Name	Size	Modified
	../	—	—
	arduino-mk_1.5.2-2.1_all.deb	41.8 KB	Feb 7, 2021
	arduino-mk_1.5.2-2.1.debian.tar.xz	4.1 KB	Feb 7, 2021
	arduino-mk_1.5.2-2.1.dsc	2 KB	Feb 7, 2021
	arduino-mk_1.5.2.orig.tar.gz	60.3 KB	Jan 11, 2017