SHA256 (menhir-20180523.tar.gz) = NOlEjz1f5Qt5D9aNW3Co5RGLgT5cRBg7bLnfsnPX8TU=
SIZE (menhir-20180523.tar.gz) = 938223
