)]}'
{
  "id": "c59b01c750d7527fb5992438d64135383c67a702",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "695c791d42d3425da5ed4e9aa8896e641af9d81f",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e211b79480f3a987deaf1fb51971a7d6223269d3",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6d50fc082cbdaf550ea6325341ae584f67f82872",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5da1bb9c2435ee00b7a2e122af91b7d9b2afaae4",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f4ce83ed92edf5400def1300f553ab8298bcb85b",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e397e7ecd756f6459137f255db73068fb99d516",
      "name": "Leanc.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "776de8c0d66ce0cbc024261b0d89230ce31f9f37",
      "name": "bin"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cae227f8ccd21401db4dfec99dc94bc0d9473ace",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "193bb56aa7ab4984c5fbfd84fa75fab37081989a",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b918b9b94f9aa9a9a114fd09697b63e21380c048",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e479b8d8998711fa8aa84ba96f4fe250109d410b",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cb30a74917259b51742e34a3be060dba3f6e6558",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0fa6ad97d49455d0e0aa03866eae23037c9b46a",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32527c6fffde52a5ba547a9d21797a3a991d166d",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "09e734f93698ffa0759dbcd8bce54a39826dacf7",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "45a9b8b1a9dff17976b6b0ee485b81585968006e",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "002e9a4edd5f15e247e85983e48bda53c2a9e457",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d742ff78c7782693cec51751bd0cbb7aa77f899",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0699845ba4526869f7628e722b70abd4d379b3e6",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "22179d396af288833a8d39aaf2af67b9889bbf96",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "027948c08eabb614e7509654b0f135667b0e6d8e",
      "name": "version.h.in"
    }
  ]
}