Index of /Debian/pool/main/p/polymake

	Name	Last modified	Size
	Parent Directory		-
	libpolymake-dev-common_3.2r4-4_all.deb	14-Jan-2019 14:23	522K
	libpolymake-dev_3.2r4-4_amd64.deb	14-Jan-2019 13:42	15K
	libpolymake-dev_3.2r4-4_i386.deb	15-Jan-2019 11:56	15K
	libpolymake3.2_3.2r4-4_amd64.deb	14-Jan-2019 13:42	290K
	libpolymake3.2_3.2r4-4_i386.deb	15-Jan-2019 11:56	313K
	polymake-common_3.2r4-4_all.deb	14-Jan-2019 14:23	1.8M
	polymake_3.0r2-2+b1_amd64.deb	24-Sep-2016 17:54	15M
	polymake_3.0r2-2+b1_i386.deb	24-Sep-2016 18:25	16M
	polymake_3.0r2-2.debian.tar.xz	30-Aug-2016 16:53	8.4K
	polymake_3.0r2-2.dsc	30-Aug-2016 16:53	2.1K
	polymake_3.0r2.orig.tar.bz2	29-Jul-2016 22:39	2.3M
	polymake_3.2r4-4.debian.tar.xz	14-Jan-2019 11:34	9.9K
	polymake_3.2r4-4.dsc	14-Jan-2019 11:34	2.2K
	polymake_3.2r4-4_amd64.deb	14-Jan-2019 13:42	14M
	polymake_3.2r4-4_i386.deb	15-Jan-2019 11:56	15M
	polymake_3.2r4.orig.tar.bz2	27-Nov-2018 13:44	3.0M