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

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