{
  "elan_version": {
    "current": "4.1.2",
    "newest": {
      "Ok": "4.1.2"
    }
  },
  "toolchains": {
    "installed": [
      {
        "resolved_name": "4",
        "path": "/home/pmassot/.elan/toolchains/4"
      },
      {
        "resolved_name": "leanprover/lean4:v4.0.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.0.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.0.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.0.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.0.0-rc4",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.0.0-rc4"
      },
      {
        "resolved_name": "leanprover/lean4:v4.1.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.1.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.10.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.10.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.10.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.10.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.10.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.10.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.11.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.11.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.12.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.12.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.13.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.13.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.13.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.13.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.14.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.14.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.14.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.14.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.14.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.14.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.15.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.15.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.15.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.15.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.16.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.16.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.16.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.16.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.16.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.16.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.17.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.17.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.17.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.17.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.18.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.18.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.18.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.18.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.19.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.19.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.19.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.19.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.19.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.19.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.2.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.2.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.2.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.2.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.2.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.2.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.2.0-rc4",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.2.0-rc4"
      },
      {
        "resolved_name": "leanprover/lean4:v4.20.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.20.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.20.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.20.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.20.0-rc4",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.20.0-rc4"
      },
      {
        "resolved_name": "leanprover/lean4:v4.20.0-rc5",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.20.0-rc5"
      },
      {
        "resolved_name": "leanprover/lean4:v4.21.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.21.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.21.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.21.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.22.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.22.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.22.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.22.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.22.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.22.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.23.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.23.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.24.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.24.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.25.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.25.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.25.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.25.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.25.1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.25.1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.26.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.26.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.3.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.3.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.3.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.3.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.3.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.3.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.4.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.4.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.5.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.5.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.5.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.5.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.6.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.6.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.6.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.6.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.7.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.7.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.7.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.7.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.7.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.8.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.8.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.8.0-rc1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.8.0-rc1"
      },
      {
        "resolved_name": "leanprover/lean4:v4.8.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.8.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.9.0",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.9.0"
      },
      {
        "resolved_name": "leanprover/lean4:v4.9.0-rc2",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.9.0-rc2"
      },
      {
        "resolved_name": "leanprover/lean4:v4.9.0-rc3",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.9.0-rc3"
      },
      {
        "resolved_name": "leanprover/lean4:v4.9.1",
        "path": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.9.1"
      }
    ],
    "default": {
      "unresolved": {
        "Remote": {
          "origin": "leanprover/lean4",
          "release": "stable",
          "from_channel": "stable"
        }
      },
      "resolved": {
        "live": {
          "Ok": "leanprover/lean4:v4.25.1"
        },
        "cached": "leanprover/lean4:v4.25.1"
      }
    },
    "active_override": {
      "unresolved": {
        "Remote": {
          "origin": "leanprover/lean4",
          "release": "v4.26.0-rc2",
          "from_channel": null
        }
      },
      "reason": {
        "InToolchainDirectory": "/home/pmassot/.elan/toolchains/leanprover--lean4---v4.26.0-rc2"
      }
    },
    "resolved_active": {
      "live": {
        "Ok": "leanprover/lean4:v4.26.0-rc2"
      },
      "cached": "leanprover/lean4:v4.26.0-rc2"
    }
  }
}