)]}'
{
  "id": "4f6b4ba89bc15833c5b75d0a49b842861e3df011",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "dad308e644f48f31dec4f556d5b5242726d74c06",
      "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": "8d425ad15e621ff899ca206fcd89033645236288",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e87d93472815854592584b361e563e4e486ebf5f",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8ef15243758ffb1364ee7c9863238195f10cad7b",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "92a2d4beb8c13c562976c085148d3e89527ae546",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50010f266c2ead966c67ea60fc1292b9451b70a9",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bc8e837eade65df5fca004e50bac4b78001a00f9",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "66775b94c67e531b2967cb57d36c28d472915c2d",
      "name": "bin"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "762d87a61b2a15dea1500263381d35af05d77cd0",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0fec0771e599af4c1c1bee8e8f21293081e4ca55",
      "name": "config.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2db1328256e5ba4f3383898513b9b2805b7694a1",
      "name": "frontends"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d8fc16ca1c281e6d9337aacd1ded7f52d0d026f2",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e189466f142f5088945d4c759c4723395dc82893",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a752af4e012db4f6076758e427fedefa1092b599",
      "name": "kernel"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8f583855dc9285d359c24def473bb6066d400ace",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e8125dd1955581e9859ddacc9ea205faaf772ae1",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc67b53d3bc59100a1df27f861f44062eb5db78",
      "name": "memcheck.supp"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bdf37e0c5988ba9ef3a584d179ddd3f99cc9091c",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "86b0bc9f9a839676ae9d9e4cb9d1455b427649c6",
      "name": "shared"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7bc43605076560c388758a623997baa964864e6e",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "36f497f1e0e6b18db49333b45eeccee8f5d9c7d1",
      "name": "stdlib.make.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5f41a6a164ffd3194c68f01ed0e90725a5e064e7",
      "name": "tests"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9f67613956dd145ec0e159bb588911cc02a83b5a",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "34fc7439452968872033e99758cbb52733cf7651",
      "name": "version.h.in"
    }
  ]
}