Index of /professional/pool/main/p/polymake/

../
polymake_3.0r1-4.debian.tar.xz                     04-Feb-2016 09:48    8172
polymake_3.0r1-4.dsc                               04-Feb-2016 09:48    1970
polymake_3.0r1-4_amd64.deb                         04-Feb-2016 12:19     15M
polymake_3.0r1-4_i386.deb                          04-Feb-2016 13:00     16M
polymake_3.0r1.orig.tar.bz2                        27-Jan-2016 07:12      2M
polymake_3.0r2-2+b1_amd64.deb                      25-Sep-2016 00:54     15M
polymake_3.0r2-2+b1_i386.deb                       25-Sep-2016 01:25     16M
polymake_3.0r2-2.debian.tar.xz                     30-Aug-2016 23:53    8600
polymake_3.0r2-2.dsc                               30-Aug-2016 23:53    2127
polymake_3.0r2.orig.tar.bz2                        30-Jul-2016 05:39      2M