MD5 (coq-8.2-1.tar.gz) = 6907d97342e7b547e2e6d905a474235d
SHA256 (coq-8.2-1.tar.gz) = b9f789c5ee4668532ad3add281057b2028d2237242d4e7213281fc593e982a0f
SIZE (coq-8.2-1.tar.gz) = 3650632