pkgsrc/devel/menhir
