DIST polymake-3.0r2.tar.bz2 37695790 SHA256 e7c0f8e3a45ea288d2fb4ae781a1dcea913ef9c275fed401632cdb11a672d6dc SHA512 b4c22b2c6da8ef597dc05a44a30c7a55fd924a96854cde3f725095465972eabe1e24508f8e5d544f3131c82c973117b15983c38a0242fc7f1d4a4a8ecddb1d46 WHIRLPOOL 5a236ac32de0dd19e7f0f5b8b1b42f2b72fa2392ee098718383a8dfd0f1d1db3946d5f4f75bd9e4c075033deebcd87ddbb28ce70733d6371fa4624b8b6a4edd1