SHA256 (menhir-20190924.tar.gz) = /sETYhGAn04UQ6djdnWVREhT7Vbd0sy2CE2sYaqJu3s=
SIZE (menhir-20190924.tar.gz) = 2491000
