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            15864556
polymake_3.0r1-4_i386.deb                          04-Feb-2016 13:00            16642886
polymake_3.0r1.orig.tar.bz2                        27-Jan-2016 07:12             2401930
polymake_3.0r2-2+b1_amd64.deb                      25-Sep-2016 00:54            15365814
polymake_3.0r2-2+b1_i386.deb                       25-Sep-2016 01:25            16592952
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             2402365