)]}'
{
  "id": "72c5924e9f412764f2a92d10fe0cf5f93055dcee",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "9f3a49a48c7ab95c62323f2e151231b3f7e65dc7",
      "name": "Modulize.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dd4efc340c47dd2bf41a1450c4b0b2d037da7697",
      "name": "PROFILER_README.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "626f610b0f8e8e2c85706edf75142c436561e18f",
      "name": "apply.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1d35287be53f4aab40850a49047e0c45326fcf6a",
      "name": "benchReelabRss.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d66f88b020631eeb6a28146bcbe648265beff77a",
      "name": "benchReelabWatchdogRss.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "2ae3a093b6e49c0e2d5cf9c1cf2b699a119c9055",
      "name": "build_artifact.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "58a3db6339c7fd37f9a97375bd09e80a11f36d0a",
      "name": "collideProfiles.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "201929447f1b30a661fdf52126c96296ceca25ae",
      "name": "diff_changelogs.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86bdee7d21713626a1206e72a0975b5d13e23bc7",
      "name": "find-deprecations.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "8db5972aeff5956d5a49fde57abe8029622d1236",
      "name": "fmt"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "1c33f8db6a323de81b13dc730e04e8cfe366d623",
      "name": "gen_constants_cpp.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "5d354479f561c9fbd8538873ecb405e286c3785a",
      "name": "gen_tokens_cpp.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "47e44b2cdb7449ba8a1232d9134b02dea6ce3239",
      "name": "issues_summary.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "d20b59c0ebfd6e244998e8e0d0c990931358b324",
      "name": "junit_embed_output.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b289cfd8086f58519bcd5a1c8496b1a181359ba",
      "name": "lakefile.toml"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "7ab7f93e943c6c72c107466046bb4eb61f60b4ba",
      "name": "lean-bisect"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ca536f8a7ca0e1244d736efc0be9f636102c7784",
      "name": "lean-bisect-test.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "247b11861889dd4d04c54985a032fafcc1f627c7",
      "name": "lean-toolchain"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "015b87773bcb9d77c2c21d3e05ccf0c3b68aa786",
      "name": "lean4lean-minimal-init.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "5592c9d5c3367d26b89b37a828cf74527e5f847a",
      "name": "lean_profile.sh"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "465ca9a6c30a53bb266974d57ffc9d90f7b05c77",
      "name": "lib"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "81a78acd2a22a263c5b96d16292d2388aff887d9",
      "name": "patch.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "28735be8197f5f7c5db9e7ef275137c4970e6057",
      "name": "prepare-llvm-linux.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "f898fbf98e41f6ee485431bf2e797e0699460206",
      "name": "prepare-llvm-macos.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86f55c630f2b8df211e2cce89475853664c30eaf",
      "name": "prepare-llvm-mingw.sh"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d417688e6266797785a9089565d338d95c37c8dc",
      "name": "profiler"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "899a39596ce61f677edd5ceb27d0fb32ac2d122b",
      "name": "rebase-stage0.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "635443bfbba6d87cbeb65cf1ed24619c887837cf",
      "name": "reformat.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "9f92ce53020546204cd323f29418b688f55c2ac5",
      "name": "refresh-cmake-deps.sh"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd70cad7d692ac1b39c71298dc53381b36d74504",
      "name": "release"
    }
  ]
}