TIMESTAMP = 1687200086
SHA256 (polymake-4.10-minimal.tar.bz2) = 6038b266d6d40bbe9955ede846dccf4417e4114faa87e775656161cd4ca2f8f8
SIZE (polymake-4.10-minimal.tar.bz2) = 7293264