Index of /pub/gwdg/ubuntu/22.04/pool/universe/m/micro/

../
micro_2.0.9-1build1_amd64.deb                      30-Nov-2021 20:14             4148334
micro_2.0.9-1ubuntu0.22.04.2_amd64.deb             02-May-2023 11:58             4085890