0b30ad2
08584547589f052ea50e2148109202ab  polymake-3.0r2.tar.bz2