)]}'
{
  "id": "f1e0e668735796add48213eed3441bd7c40d8f36",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "43f5b21a71e602464b084eb03348a5e222b8c82a",
      "name": "bareStdenv"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "caca4aecebfd754a3b88f4ea2bf749a2d96bbcb2",
      "name": "bootstrap.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d77a88f6b5c4b2bb7e4111cb215fa8690b30dea0",
      "name": "buildLeanPackage.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa8a9f7101258bed8c0fbcdc4a55ac4807a9fe1d",
      "name": "lake-dev.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "909d66956e20a7567b34eb1a24d20c31a051dde4",
      "name": "lean-dev.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "693e212a10b2922a0af8f3919dd46b0bace29718",
      "name": "packages.nix"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "780340fdb4e8976656ae1bd89aeee5e58f3764d1",
      "name": "templates"
    }
  ]
}