Index of /deb.debian.org/debian/pool/main/m/metis

	Name	Last modified	Size	Description
	Parent Directory		-
	libmetis-dev_5.1.0.d..>	2024-10-29 05:25	11K
	libmetis-doc_5.1.0.d..>	2020-05-19 23:15	3.2M
	libmetis5_5.1.0.dfsg..>	2024-10-29 05:25	172K
	metis_5.1.0.dfsg-7+b..>	2024-10-29 05:25	44K