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