)]}'
{
  "id": "abfaf7eb81f664909644d5c91c8bada2387da005",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "11c77ed4e650b2a71b588caa75c9f7953e3e3883",
      "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": "c6ad5de8874252a3c28177a783097c92b07a03d7",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8ef15243758ffb1364ee7c9863238195f10cad7b",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5169a8c7d00305ed0a8a4e493c28182bc6dd359f",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50010f266c2ead966c67ea60fc1292b9451b70a9",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "db73313a318523f9c6261230771703e63bda60a6",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "66775b94c67e531b2967cb57d36c28d472915c2d",
      "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": "da07787ff57b733b3d1c3af2cd660101678cc7ae",
      "name": "frontends"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ba6a8a01ef48c8b3fe8a42c206c142b5bfbb55d9",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e189466f142f5088945d4c759c4723395dc82893",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "56c13c085c015df1c23c0727e04faf09adc92485",
      "name": "kernel"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6a325adb0c66b0df8182c764b70098cebdc2dbf0",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "845c5adb6cd4881ab565f7c609d9d319ef2b92b9",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc67b53d3bc59100a1df27f861f44062eb5db78",
      "name": "memcheck.supp"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6f8aad0df1c86f6a2bc3b6c63d73cf155cb42788",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "86b0bc9f9a839676ae9d9e4cb9d1455b427649c6",
      "name": "shared"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8bb398c7cb1085f4df135fb129d336b8b1d9a53c",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b225665c562c89b4711d4a97e9c7d0a0db18afb",
      "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"
    }
  ]
}