SHA256 (coq-8.4pl2.tar.gz) = fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
SIZE (coq-8.4pl2.tar.gz) = 4145112