../ micro_2.0.6-2.debian.tar.xz 29-Jun-2020 16:36 5156 micro_2.0.6-2.dsc 29-Jun-2020 16:36 2711 micro_2.0.6-2_armhf.deb 02-Jul-2020 10:08 3735196 micro_2.0.6.orig.tar.gz 25-Jun-2020 11:02 782976