SHA256 (menhir-20080912.tar.gz) = 079665a90e3f6fee66e93f17562d92a5aa2189c749a4fd24e46a0830ba430bee
SIZE (menhir-20080912.tar.gz) = 377709