SHA256 (menhir-20190626.tar.gz) = hPd5xIg/lpNlkV5bOQC0WO6uKs8TFkrOUuxWlv67UDE=
SIZE (menhir-20190626.tar.gz) = 2487950
