SHA256 (coq-8.3pl3.tar.gz) = af259e9a723761327137018fdc0b98ada71095ff033b9e169d175d92b9537947
SIZE (coq-8.3pl3.tar.gz) = 3859883