)]}'
{
  "id": "7738a1661621486a4b72e83edef4f9783bc6e143",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "26c84eff78f17d914fa88a558693bc6a351b9e9a",
      "name": "bootstrap.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1606539a4ab45b6446dee80e8a3c9890206acf3",
      "name": "buildLeanPackage.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "837bc37272d81f38fab818272fd3a49945268112",
      "name": "lake-dev.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "02849ad55fc25d4a2f7a7076b933c2a9f6ff3e58",
      "name": "lean-dev.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d0daeb9d12793b9cf0425b1230a7ff7dc38725d",
      "name": "packages.nix"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "14e3bafa59fef8091c0f63d54e6fd4626cb38e91",
      "name": "templates"
    }
  ]
}