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