SHA256 (menhir-20141215.tar.gz) = JZKWfBI6MeG2Vmq59gNOegpwnVfVRwl/BWk7r5akb6Q=
SIZE (menhir-20141215.tar.gz) = 556231
