)]}'
{
  "id": "3d9e257c7d88e77970127393c548e7c91f3a0418",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "31e5cb5b537a3decc84cf0380a89cbbcd69a24dc",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2f99ab920c79ff1ea74150696e25b76f5d03506e",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "027564363da3239a3b91f6a68f64fcac8bb0ceec",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6a1cf9f9c37b2ec2e727922d03ae93d4ef86107",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eb35470be3b0337a1d0f464397af980c4a26b6b2",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "111eef50ac43e28c6613ee4699a46ddd99f7eafd",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f427d00b8a8f00de8ffa6d54312ca3f7f3789d1c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f2bc339bf4fab182a7e8b59915f82f98d9ad3572",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2949176b592d76c121216e4108aea423c771efa",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "de6d888c5a82f788a1b31a4492da1be1a28e89be",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ec6d27c1ac485130999c9510c6f9bb10a6e98c30",
      "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": "11c1aefb1d28a14fa5f678b71e03ccdeb9d5ca69",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b0499c59889479741fbb0232ff5cf535682a227",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7630bc9c20c4819eb4979dafad33da76843e0cfb",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "08e94328f02fcf7ab3b771f0abb7903846f42924",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7c66a61ae668322dc5682dd870f3a1cee9501728",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "96bb70856e1a77986f15ca0b201706642cedc302",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ca271f1925ee92f79d81573130b4d8179a6dcb6c",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "12fb178036881b37b4cb5d3ab99c4e087a0cd4db",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f25f2d37ede1186d6f73d685331f03c2de4bb0c6",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ef83f52f3e41a7526a7e2a5e0e7f6f57da8b1554",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ee225c1734306f852d258f22fd5639ba6999a77d",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8c06c6aa6893764f6d320a68e83b6d1761e80601",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e44d0579907c44c22ca541c136e9319d78c3aef3",
      "name": "version.h.in"
    }
  ]
}