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