)]}'
{
  "id": "aca5385ba4ec0498253cae009785116e4faa6db8",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "43f5b21a71e602464b084eb03348a5e222b8c82a",
      "name": "bareStdenv"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6d3a7836bf563c14553f3fde450fe32a55ea113c",
      "name": "bootstrap.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e197cea55fb6827dbc38a00fef7a3e6fa7dfe22",
      "name": "buildLeanPackage.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "837bc37272d81f38fab818272fd3a49945268112",
      "name": "lake-dev.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "909d66956e20a7567b34eb1a24d20c31a051dde4",
      "name": "lean-dev.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74aa580fefa61a49edbcfedaa5d35b024c84c529",
      "name": "packages.nix"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "14e3bafa59fef8091c0f63d54e6fd4626cb38e91",
      "name": "templates"
    }
  ]
}