MD5 (coq-8.1pl3.tar.gz) = 84311faf7865b2eab964990cdb365dca
SHA256 (coq-8.1pl3.tar.gz) = 7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6
SIZE (coq-8.1pl3.tar.gz) = 3003593