TIMESTAMP = 1780934589
SHA256 (polymake-4.15-minimal.tar.bz2) = 30e0a8f89013cf7a9a44ed90db2f69c49bf181050664c7e6bdb861c610b1bdb9
SIZE (polymake-4.15-minimal.tar.bz2) = 7338374