../ polymake_2.14-2.debian.tar.xz 24-Jul-2015 19:49 6420 polymake_2.14-2.dsc 24-Jul-2015 19:49 1774 polymake_2.14.orig.tar.gz 24-Jul-2015 19:49 2410972 polymake_3.0r1-4+b1_amd64.deb 02-May-2016 13:02 15847472 polymake_3.0r1-4+b1_i386.deb 02-May-2016 13:17 16615220 polymake_3.0r1-4.debian.tar.xz 04-Feb-2016 01:48 8172 polymake_3.0r1-4.dsc 04-Feb-2016 01:48 1970 polymake_3.0r1.orig.tar.bz2 26-Jan-2016 23:12 2401930