SHA512 (polymake-4.4-minimal.tar.bz2) = 413e50aa1e2c215d9f2f4570cd5853802748f9d5373d5ab5bf8624e89605da7b681d90a1c0f949a8ed3751e9d98aee93d18b4e0048da299f282c33d3a4ab4fab