SHA256 (menhir-20181113.tar.gz) = OHj4dyYgvRPwjqLDZ8D2CxB40lY81HEVd++v/EVQoXY=
SIZE (menhir-20181113.tar.gz) = 1028432
