)]}'
{
  "id": "7a72d7ad6b77f0b1488d74f86275d57feb91590c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "15f0a14c6f4a78912bb249b78c90938b3d442674",
      "name": "AssocList.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ebc31b72e18291f84ead565073625d8f2db75382",
      "name": "Format.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2bc6f96dcf9dc279d1208acec30c0b9e4459cd18",
      "name": "FuzzyMatching.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fed2405b7ec844d87dc65062a997306128f86acf",
      "name": "HashMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "70c1ebdc47d5dee40c596e8c3964c03c702b3836",
      "name": "HashSet.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f77def6b24fc2aa129309618c4dd30afdb23ca40",
      "name": "Json.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d5ca4d6fd1bea14243344d4f7509f4670386b673",
      "name": "Json"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ee731726102c100e6f59cd7d81c53619a8079ad0",
      "name": "JsonRpc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "624a1f28e8ce4a8aa209854ddf3f886acf7b69ce",
      "name": "KVMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "978a0606f887ec1bc9721be0944ec0efb857c317",
      "name": "LBool.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9534ae184f611f3c3cf2b9069573c2237e28d5ec",
      "name": "LOption.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7d643b3cf397f6f7254f355f422c040f4c9ce0b",
      "name": "Lsp.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "42312d21a78f03b602b603bc46fbb3207718c1ce",
      "name": "Lsp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b97a9599695812caf211981473edd4636f71f5ca",
      "name": "Name.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dae6964c4cb5f0deb71e3d4b19c26a62a650fc2d",
      "name": "NameMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3fb95ee45df0d3d6310b2f7c54f9c9d353089716",
      "name": "NameTrie.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "02109c7c71e4164f2351c957c21a4a142bc7ba89",
      "name": "Occurrences.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f6c0d0b262cfd95786ef30b50f1363c67f69d9f5",
      "name": "OpenDecl.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b6525a24acbb1daad7dd5148d296faaed5fba4c",
      "name": "Options.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "29eaaaa4c72bfb80df336cdb4529c59919dde091",
      "name": "Parsec.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "995a80e9a9c0aa265d868a834e429c3f1f5def5a",
      "name": "PersistentArray.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0701b41686ee0e2eb16e19cbcca76188dcf1c053",
      "name": "PersistentHashMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0cbcfacb0712ea253fead62f05473c90e8088382",
      "name": "PersistentHashSet.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "23bcbb6a5f6721eac99c3fcb1a22cba4b30c0c26",
      "name": "Position.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a5088b8c6f6e341e4c0f38e0d8b53eb4d8a9cfec",
      "name": "PrefixTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b235c260ec7ca0d86b09538d4c25b5c1c60ac53",
      "name": "RBMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3bcd15f477d868b3ebe2e26d7f779408c951890f",
      "name": "RBTree.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "31e79d59231fa2584d951853b82de70812eb9341",
      "name": "Rat.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1ff44e389e1a0a97c199bad9cf0771249d26da4",
      "name": "SMap.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "578340f86402462562d3a02c867fb09298b73ca9",
      "name": "SSet.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "848284eb2266dad5bace7eb699703cf968ccf092",
      "name": "Trie.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c6ad55a2fc687ca9dda37b5913c2b2dc68ae99a",
      "name": "Xml.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "edc82c77a06a569e3fec451cb14b52f1a7c8866d",
      "name": "Xml"
    }
  ]
}