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.9-1_all.deb	2024-10-30 04:05	50K

Apache/2.4.62 (Debian) Server at pcleon.if.ufrgs.br Port 80