SHA256 (menhir-20170101.tar.gz) = mWlvNlUR4EQMGNKVtwc6E4hsW1lOGHX1lnrYl6IhakY=
SIZE (menhir-20170101.tar.gz) = 738131
