version = "20260209"
description = "Menhir command-line tool"
requires = ""
