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

	Name	Last modified	Size	Description
	Parent Directory		-
	armadillo_15.2.1+dfs..>	2025-11-06 13:03	6.2K
	libarmadillo-dev_15...>	2025-11-06 13:03	412K
	libarmadillo15-dbgsy..>	2025-11-06 13:03	142K
	libarmadillo15_15.2...>	2025-11-06 13:03	106K