)]}'
{
  "id": "396c7bb26f90c469ac05976cbe4545a544f2a0bc",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "43f5b21a71e602464b084eb03348a5e222b8c82a",
      "name": "bareStdenv"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dbcde3707b8256553c33d659a84f0d707b3558c5",
      "name": "bootstrap.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73d43825b4725425bcee9dee88f06b3710ab6e6a",
      "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": "c8e8bbe22f011210d81aee636ce42dcdefab09e9",
      "name": "packages.nix"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "780340fdb4e8976656ae1bd89aeee5e58f3764d1",
      "name": "templates"
    }
  ]
}