)]}'
{
  "id": "000e9c628615d04375054a36ceca8968d434f863",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "128fb20a00cfa2625d507b3e91dde69a1a277c20",
      "name": "AddDecl.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a06fbc2c70f5332e16cce4e11daeeb7ab1cd566",
      "name": "Attributes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c49a369828ad524652599b855586c97fce4d1116",
      "name": "AuxRecursor.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab12c9cfed87f5b37c2f4f27a3c5a5e555b17634",
      "name": "BuiltinDocAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f26c478fbd962936d661902d2c7b4c47d85e62c5",
      "name": "Class.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e80bc9e7c58f72f178e1cfe30e67ad0044879fe0",
      "name": "Compiler.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c1e322c614a448d992fb3af2f5ad3f56a49de9b0",
      "name": "Compiler"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "abbce6e771c31b2bd37b01b1e485ea5eb3953863",
      "name": "CoreM.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7a1854d20760e445bd7bc6ef123b8a83c405cec1",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "79c362bd371424eb191f551dfe2421f1b21ef507",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6cac5cd3edf11efba48b84527502d9b4bc2a9e18",
      "name": "Declaration.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a0e14465200eca7002d41a14610677dca3f42f4",
      "name": "DeclarationRange.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d28822820955998c2c7566c8e15acc4c5ff0a4c7",
      "name": "DocString.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3547ef785ba158928776c7c373f4206c2a6800f2",
      "name": "DocString"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "663f64823c9bf1f78495823c1a2a725befda2de4",
      "name": "Elab.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "418292cd203c285bc77ca1025c9a407f0ae92809",
      "name": "Elab"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a9091125c7901ca6c89f7818fcb9adf87fc1ab",
      "name": "Environment.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b212572aaab34522851de88ce169b4f616daef4",
      "name": "Exception.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b2122c5ba3dd92a18d41b2c42f8a34298fce05f7",
      "name": "Expr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dee9c91f50ce1638aaffb9b92f1532e51add03a3",
      "name": "HeadIndex.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0ce1bc11865f382183b0e89bc9a2aec711cfb86",
      "name": "Hygiene.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b8a685fa814e0b283a62de86c12bca51c76f6410",
      "name": "ImportingFlag.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3c9a370eef9273d02724be3050bd873ca2b5e75",
      "name": "InternalExceptionId.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bcc608cd311afbf780f02d8dae53cd6b79b13e76",
      "name": "KeyedDeclsAttribute.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "43d79e31b80d41c60559d2dbc1c735571ed20ac3",
      "name": "LabelAttribute.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0ec17c7107b19439a6c480bcc2678bab624ab7f5",
      "name": "Language"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f50b7453cc52650b3d79bcc31c5580829dd4c58c",
      "name": "LazyInitExtension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "393b5f431b82b55a2917ddc234591678f6417645",
      "name": "Level.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9f6d3c4127d5e4566a28f79a78605920e0abfb71",
      "name": "Linter.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b4f01408c2d349b5c0f590a318f540bd0585695",
      "name": "Linter"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "24b54bf9574200281e498e65f0fd5cfff1ff3401",
      "name": "LoadDynlib.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3db35ad9da5096fd81fe1ecb8e84942fe138e2d3",
      "name": "LocalContext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6485e15a1ffcf2fbded52d7a466384b06dec55df",
      "name": "Log.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "111c4e17f0d226557c32d0afd804f1a533697c03",
      "name": "Message.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "790db52ba14bed5daf64eeb41b805e5c3e001507",
      "name": "Meta.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f8c2e16e33d656c8905c09642dd7cacf01670459",
      "name": "Meta"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "78baf62bba538a15f7ff2b6402b5d26eeefcd054",
      "name": "MetavarContext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3099c663f18bb4b943556336a80100b71ca00158",
      "name": "Modifiers.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82c529cb6eb1fb27405661106e84ec3566a8e6b5",
      "name": "MonadEnv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bd21b4ad10cdd368b7c11086a3873b2fa1d2f254",
      "name": "Parser.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a571c7d55faf0335f926b1d40d9a71c4b4b98cbe",
      "name": "Parser"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d15ea6436dc441efb1b9125c1ea2fdec18d8866",
      "name": "ParserCompiler.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dbf9979ebcf1405c1ae192f08b42b475a90a9165",
      "name": "ParserCompiler"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0515d37b9b5701f17ce15575a978472c6f92573",
      "name": "PrettyPrinter.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bb81cc847a4215f52c2e3f28424c5107d90f21d1",
      "name": "PrettyPrinter"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9873c4f4a4baab2c76b2cfd6c48bb38fc0d42659",
      "name": "ProjFns.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab6bf712c3ac228dfe0735671d3d77ddc075d3ab",
      "name": "ReducibilityAttrs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8192bc4da77a5bb1e0ebeb97f1fa5544fb718454",
      "name": "Replay.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "030891de045241c634f3966c9b9acc348ad75f04",
      "name": "ReservedNameAction.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7a5ebd97812938d258fafb275dd8a6e0647aab8d",
      "name": "ResolveName.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f789697858a3dafbe88b2b147f22aeb4bc81528e",
      "name": "Runtime.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "68e2e7ec3d44910b9cc55858e7af97eee7dfb0b9",
      "name": "ScopedEnvExtension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fcb2cc0010c27b3c60aa677fc34e87b9464069d7",
      "name": "Server.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "481e8d077fdb5d50dad66e508379ff3c628f0305",
      "name": "Server"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d20b3280bea594d16f2ea0e72153427ebee2292",
      "name": "Structure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "567b7da20dca2e87eb8b95b702c1eb18c5f35d55",
      "name": "SubExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "44cf9805b4b243c2117c8efc347ec24cc6929648",
      "name": "Syntax.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e0ee722dd321e312b6d31746e84597235889c40",
      "name": "ToExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c49bb0e455d540e528e445d2eafc2ad984cacb91",
      "name": "Util.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b99bc7e86080bcc48902fef359e2434519a65b61",
      "name": "Util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d3f7e37037becf03b87a52509750bdbe45fe940",
      "name": "Widget.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "46ecffecdf374480ae62477b0e50b64f808ba5aa",
      "name": "Widget"
    }
  ]
}