Index of /debian-dev/pool/main/m/micro

	Name	Last modified	Size	Description
	Parent Directory		-
	micro_2.0.8-1+b6_amd64.deb	2021-07-18 13:28	3.6M
	micro_2.0.6-2~bpo10+1_amd64.deb	2020-07-03 16:40	4.0M