SHA256 (coq-8.4pl1.tar.gz) = 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
SIZE (coq-8.4pl1.tar.gz) = 4139808