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