SHA512 (polymake-3.4.tar.bz2) = b87bdff90468a2da080edcc5b22c28bae3c0b1c4fe844f75d55281e874d19fa31988e60f7a1235241781e6e923c64ba9991d15091f6c6ecbce5cbf380b6adc28