SHA256 (menhir-20151005.tar.gz) = FU8lN0csZePjld6HSEAgzJrt7liYuch1bNAiRbOlaLA=
SIZE (menhir-20151005.tar.gz) = 627178
