Index of /ubuntu/pool/universe/p/polymake/

../
polymake_3.0r1-4.debian.tar.xz                     04-Feb-2016 05:24                8172
polymake_3.0r1-4.dsc                               04-Feb-2016 05:24                1970
polymake_3.0r1-4_amd64.deb                         04-Feb-2016 07:59            15697942
polymake_3.0r1.orig.tar.bz2                        27-Jan-2016 05:20             2401930