SHA256 (gringo-4.5.2-source.tar.gz) = 36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65
SIZE (gringo-4.5.2-source.tar.gz) = 1674048