SHA512 (menhir-20180905.tar.gz) = b0d32da97a31376c8d55837c7fc1e7194c801cad454308ff933fa1def765b9aebaded62444c694c205c1fd6a2142f192bfe84366a5965fffb777e7f89dec004c