main: fr.Igolta.ProVerif.Main.Main
name: ProVerif
version: 1.0
api-version: 1.13
commands:
  verif:
    permission: verif.admin