../ polymake_3.0r2-1.debian.tar.xz 29-Jul-2016 21:39 8268 polymake_3.0r2-1.dsc 29-Jul-2016 21:39 1958 polymake_3.0r2.orig.tar.bz2 29-Jul-2016 21:39 2402365