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