MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79
SIZE (coq-8.0pl2.tar.gz) = 2285855