)]}'
{
  "id": "4a612bfc5dd2da40c6beedd382e5df232cb6cb71",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bf4d62a5f6b28127dabaa96153da1fe8e11be659",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ca42c4f4b11746ddf66254f22fab867c60c7a31a",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5fa32157f69c7a64262c1e294fb7fb76a0bd90a6",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c708d08fb7558a376ced68508a50ff88ee0e45f4",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "048157c6d7f7036cc9f7f300aa974e0755d4d3d7",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da517a3bf8a1dd6b0c1770deae367be40725b6bf",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8906c7b58013cb1c61a6cf11597df297a8209c1c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4f8d888b7fdc3263d580675b70f8978a8dd9f316",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e2949176b592d76c121216e4108aea423c771efa",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d6d684ced1c737773dd51797e6a90bf27476b8",
      "name": "cadical.mk"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "728149f77660ae3de3a6c9fee51883f0c9eed5d4",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32619b322dfeccdf9e5c1789e75e9c36c8fe1a7f",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "82695cb07a91e0259eabb5c7927abacb448c9e41",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "85b3d516d75c9474e5e08326a2bc895ed7ebda59",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eb312283a2833a927d5ce923e7890c74b471f28a",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6645cf041c73ece2c066a72d831e4b66432f923e",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "758b397f0317d1af18b04868650b7fe72136fbbd",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "131a73a48abdbc424bff762bc97e467464d2a499",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "939c7ae5dbacc53a21ecd3e40555ad05f0bf93cf",
      "name": "library"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "name": "out"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "61802f195724f06344596a74eb2c92a838aad8d4",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6db3bc1e3b3fa028c143a95280304118e42a25ef",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e4d97af09b30cb3718c59be22e690e81aa6c4d1",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2161c65d4e538d7d6bb072622f8aabb19a5a0582",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33500fe512ebf9d26c3c179b3f7ad47b17058241",
      "name": "version.h.in"
    }
  ]
}