SHA256 (polymake-2.9.9.tar.bz2) = f914dbb4283e3f11c94d2fa7e0da9383c506e15678fe7b05c52eeb939508215e SIZE (polymake-2.9.9.tar.bz2) = 12656699