9647ad1
SHA512 (polymake-3.2r3.tar.bz2) = 4e135acb4dbbcae0d62b5dc58ab150d9e470a17dd6dd589a3aae63f263cb42255468e3fa0aa1e0e4e81a050438bee9989b17f53db01443d11eeb1755641501c8