)]}'
{
  "id": "6c05a156501615ef736d2734d6e3927f48b984bd",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e9b7d179f3a788fd31acb6622b8cf0659ca8fc1d",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e827c937300bf94aec754db2da73b1aaff3be4e",
      "name": "CTestConfig.cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "90d46b77e5dc2a79f30c7af5b332d6660123aa19",
      "name": "CTestCustom.cmake.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40d6ec9df0a20b9a33c43329dff5d20b4794e0a9",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9f3696305bd0196bba938f9c3619bbd5ebbf0bcb",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f21611afef2f5fbea36b630839e6fc1758c3ff78",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6c3684590121bcf845aa5b7a6dda839f3467196b",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "350c0228e1f4dc12375d706c305684f0255be622",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3b7f44d86800154adb6766f8ad8af7c92c718809",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "29420175c1cc4ab02bbdf68749d4d2d9b0e0c07c",
      "name": "bin"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "762d87a61b2a15dea1500263381d35af05d77cd0",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d9f524afd85d147c84ec28be44c1de9ed2d77604",
      "name": "config.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f1a47036ba77e6891b5dcc8146bf819851462ee2",
      "name": "frontends"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5e9bb7408227be2b8f032c044b588e344c492334",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e189466f142f5088945d4c759c4723395dc82893",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "688ec0c7fd7faca3392b9f8f85b86af8f3500257",
      "name": "kernel"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7a387e6db3242c7bb6369c7a7d4e35338fc048c4",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3b67138019a5aecbef9ee10368e26d7139e1bfee",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc67b53d3bc59100a1df27f861f44062eb5db78",
      "name": "memcheck.supp"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "440f4f615a5abb7637599d407b885cae5b17b8ac",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "86b0bc9f9a839676ae9d9e4cb9d1455b427649c6",
      "name": "shared"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0580e24fcefe4a8c6ffe087325b6cf0fbd40905c",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "876a29b751742f77c2c2c55331624c2b7fc9e311",
      "name": "stdlib.make.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1196da3e2a8e1cb045d60387b2340357bfe2874a",
      "name": "tests"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9f67613956dd145ec0e159bb588911cc02a83b5a",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "34fc7439452968872033e99758cbb52733cf7651",
      "name": "version.h.in"
    }
  ]
}