Index of /Mirrors4/debian.org/debian-ports/pool-x32/main/a/armadillo

	Name	Last modified	Size	Description
	Parent Directory		-
	armadillo_15.6.2+dfs..>	2026-11-12 19:03	7.1K
	libarmadillo-dev_15...>	2026-11-12 19:03	416K
	libarmadillo15-dbgsy..>	2026-11-12 19:03	142K
	libarmadillo15_15.6...>	2026-11-12 19:03	106K