9ce504e
SHA512 (polymake-3.1.tar.bz2) = 51b72b605cd5654d1c8992c4125de01fcedd97685cf65dd50d9c3644960b16f9d3798257a10bf002a9568e92094ed9a034cd0652be44611f63431ca8eb428b7d