Index of /pub/debian/pool/main/v/vertico
Name
Last modified
Size
Description
Parent Directory
-
elpa-vertico_1.1-1_all.deb
2023-03-01 04:43
47K
elpa-vertico_1.7-1_all.deb
2024-03-31 10:41
49K
Apache/2.4.57 (Debian) Server at pcleon.if.ufrgs.br Port 80