MD5 (menhir-20071212.tar.gz) = 0bb0bdacbd0ca22fbb25ec07cb257bba
SHA256 (menhir-20071212.tar.gz) = a74583040dea75c540710b9e64ece9f27487ac74a8a7becd212d154f0c7a1626
SIZE (menhir-20071212.tar.gz) = 389945