SHA512 (menhir-20190613.tar.bz2) = f856d4fee833a082c3abd804ca9f2fe2ae95cd605c37fc573ad88ac2cfd90a35da59514ce4339014caf7e5b12d15d2827c6b3bb87156f2a8eee79f6bfb07dc1b