SHA256 (menhir-20151112.tar.gz) = 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a
SIZE (menhir-20151112.tar.gz) = 727051