Jerry James 74d8a20
8d962326fa88e02641f6b36ab69a81dd  polymake-2.12.tar.bz2