Index of /debian/pool/main/m/metis

	Name	Last modified	Size	Description
	Parent Directory		-
	metis_5.1.0.dfsg-7_arm64.deb	2024-03-22 13:07	42K
	libmetis5_5.1.0.dfsg-7_arm64.deb	2024-03-22 13:07	151K
	libmetis-dev_5.1.0.dfsg-7_arm64.deb	2024-03-22 13:07	11K