../ polymake_2.14r1-1.debian.tar.xz 01-Oct-2015 02:35 6516 polymake_2.14r1-1.dsc 01-Oct-2015 02:35 1791 polymake_2.14r1-1_armhf.deb 06-Oct-2015 22:08 9395686 polymake_2.14r1.orig.tar.bz2 01-Oct-2015 02:35 2006847