TIMESTAMP = 1638139255
SHA256 (stan-dev-stan-v2.28.2_GH0.tar.gz) = 3a79a8cd0158105fa8f680f61e3a80d55627c4daa73305536d7ef999094f0cd1
SIZE (stan-dev-stan-v2.28.2_GH0.tar.gz) = 4873001
