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