{
  "rev": "refs/tags/v4.11.4",
  "version": "4.11.4",
  "hash": "dZNZAv436+eegUcqlBbNoC2SENDPLgAhLkhN6qugEEU=",
  "paths": {
    "plugins/lean4/skills": ["lean4"]
  }
}