SHA256 (menhir-20160303.tar.gz) = c330934ff449e7af101df0f8a15df29712465a185de265fadab30f4402eaa7e0
SIZE (menhir-20160303.tar.gz) = 750200