TIMESTAMP = 1622150271
SHA256 (polymake-4.4-minimal.tar.bz2) = da7179176c739c8efba65d93b25af103c1cba70e1f9b35673ce33c37790ec091
SIZE (polymake-4.4-minimal.tar.bz2) = 5620609
