../ micro_2.0.2-1.debian.tar.xz 28-Feb-2020 20:10 4856 micro_2.0.2-1.dsc 28-Feb-2020 20:10 2711 micro_2.0.2-1_armhf.deb 02-Mar-2020 10:08 3764324 micro_2.0.2.orig.tar.gz 28-Feb-2020 20:10 766102