SHA256 (coq-8.3.tar.gz) = bd818e053948e6eed288753fe10fe2b23bdc6f277a8fe50a6233d8f07b263e0a
SIZE (coq-8.3.tar.gz) = 3736420