../ polymake_3.0r2-2+b1_amd64.deb 24-Sep-2016 16:54 15365814 polymake_3.0r2-2+b1_i386.deb 24-Sep-2016 17:25 16592952 polymake_3.0r2-2.debian.tar.xz 30-Aug-2016 15:53 8600 polymake_3.0r2-2.dsc 30-Aug-2016 15:53 2127 polymake_3.0r2.orig.tar.bz2 29-Jul-2016 21:39 2402365