MD5 (coq-8.2pl1.tar.gz) = 36eed48bc63ada8abf27f96eb126906c
SHA256 (coq-8.2pl1.tar.gz) = 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c
SIZE (coq-8.2pl1.tar.gz) = 3600620