)]}'
{
  "id": "d8dfcc32966cbd00d6d9ae2f5d021ba4e1f9bc5f",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "433da842b5cd39873349942349da6a7e89baea1c",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8dada3edaf50dbc082c9a125058f25def75e625a",
      "name": "LICENSE"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "829c1382e9287cee4a40f020484a9403c8bd4858",
      "name": "README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e5325aef156bfc6038c0aa0b1b116a4e2bc4a70",
      "name": "lean4-debug.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1ca2f4807bf60e5a7f668f34a904a7bc67640394",
      "name": "lean4-dev.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0df8d74f799434d51bc1a5bc0d954a6db93730a",
      "name": "lean4-eri.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9af32094ee200c4b878c28220b552c5c3b818bd5",
      "name": "lean4-flycheck.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6a31ce88cfe912092d97263c6f21fafcce7d6759",
      "name": "lean4-hole.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b0d46381344fafcf45e21d2c63954468ba82af7",
      "name": "lean4-info.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cfbc04da0cbdbd35df3e2658519f86124d977640",
      "name": "lean4-input.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "664295d6378e18a47d81c1a5351b929c386cc621",
      "name": "lean4-leanpkg.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3869d6bcd2389fa34ce10a06f56588a4bfe9d678",
      "name": "lean4-mode.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a4e5d24d4e81d47bf68c230b2b9cbfacd6345367",
      "name": "lean4-right-click.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "505843e80bccf2a4f15bb84fa30023eabe93f7d2",
      "name": "lean4-settings.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a978b11bd6f3753b996a473afb92991059ae476e",
      "name": "lean4-syntax.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7215a3a679f898f5cb4baa7ef24efc8245bbfc44",
      "name": "lean4-type.el"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa42b920b54e25e7000c47106572f0cdf6fb103a",
      "name": "lean4-util.el"
    }
  ]
}