Index of /debian/pool/main/m/micro
Name
Last modified
Size
Description
Parent Directory
-
micro_2.0.11.orig.tar.gz
2023-02-25 19:33
536K
micro_2.0.11-2.dsc
2023-04-01 19:32
2.0K
micro_2.0.11-2.debian.tar.xz
2023-04-01 19:32
11K
micro_2.0.11-2+b1_amd64.deb
2023-04-09 09:26
3.5M