TIMESTAMP = 1679756190
SHA256 (polymake-4.9-minimal.tar.bz2) = 04c90b826b3a26c5a63e18be319bff12a89ef0128bf8a68fb64df10594b259f3
SIZE (polymake-4.9-minimal.tar.bz2) = 7287220
