TIMESTAMP = 1642450038
SHA256 (polymake-4.6-minimal.tar.bz2) = 423a44ddef11eaea8457ab15dd5d86ddb7a8bcc6c9bb11776f9e2958d7dcf9d0
SIZE (polymake-4.6-minimal.tar.bz2) = 5634651