Index of /repository/devuan5/mainrepo-amd64/mirror/deb.devuan.org/merged/pool/DEBIAN/main/p/polymake

	Name	Last modified	Size	Description
	Parent Directory		-
	libpolymake-dev-comm..>	2022-07-22 20:26	582K
	libpolymake-dev_4.6-..>	2022-12-11 21:14	19K
	libpolymake4.6_4.6-5..>	2022-12-11 21:14	342K
	polymake-common_4.6-..>	2022-07-22 20:26	3.8M
	polymake_4.6-5+b2_am..>	2022-12-11 21:14	21M