Index of /ubuntu/pool/universe/p/polymake

	Name	Last modified	Size	Description
	Parent Directory		-
	libpolymake-dev-comm..>	2022-03-07 14:33	561K
	polymake-common_4.4-..>	2022-03-07 14:33	3.8M
	polymake-common_4.11..>	2024-04-01 06:34	5.2M
	libpolymake-dev-comm..>	2024-04-01 06:34	589K