)]}'
{
  "id": "bd1556bb7de06c57335a092b62f42cf6d4b9a17f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "43f5b21a71e602464b084eb03348a5e222b8c82a",
      "name": "bareStdenv"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c29a902593cfc6143f5aeaea086b86f022c3df4d",
      "name": "bootstrap.nix"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c8b82ebde648613560a7b4f01c5a182887a26eb7",
      "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"
    }
  ]
}