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