)]}'
{
  "id": "71061ca225537ddb0d27f0663436ed91ee106de3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "10457749f70325fde443c1b45e97173a6325ad67",
      "name": "AtMostOnce.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4800e18125a10792ed31e51ab99d2d16f86ae7f5",
      "name": "BorrowedAnnotation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f15f55129be862d1ba76171f5101c5cc2fd45a6",
      "name": "CSimpAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "69f5b9b30271f5186ddb4afcfdbb74f668d2fda0",
      "name": "ClosedTermCache.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a044cdab6d629bf97f7c51e799ba73d2b5e69176",
      "name": "ConstFolding.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa14b0b48730fef470560a24ae08904216702da9",
      "name": "ExportAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cc563ba458353f6f9378fa0ab2cf0b765fb2a305",
      "name": "ExternAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0480df81f70389062b60cf1bf1ba4cdf4fa6a27",
      "name": "FFI.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9fa99393158b03b7041fd348e15f88a71b0d8584",
      "name": "IR.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8a94c0a98a3d953c61ea982ec67c75c4789916d0",
      "name": "IR"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f9179ee525ec3b2cc057617df6512de2e41aa586",
      "name": "ImplementedByAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4911b0e5868f3bac4358e5c43dc2a4fea02fca47",
      "name": "InitAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79a84bf694b306fe109cac5cadea8d265392de18",
      "name": "InlineAttrs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b3341af3898630382d1aadbc63e8945fde8f4c3d",
      "name": "LCNF.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "103db6e69f53030597ab1b8ed3160ec3473f873d",
      "name": "LCNF"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f022ac9af49f32a170f760b1d0bf9c90487c51c5",
      "name": "Main.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "80adbb39919afd9313fdc800be323cbe3c95823d",
      "name": "NameMangling.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7868c72a4c8d7690f7905324632f307de4e3b926",
      "name": "NeverExtractAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad03125f4d968777d5b47881467f5d04bcea35d9",
      "name": "NoncomputableAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "628131977e9e237568e70504c63324dbfcf5c5db",
      "name": "Old.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5ec2f8a0e21d839efe2757bad12481b3f364b571",
      "name": "Options.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b27a8c040ead7be5cc058f56a7d12b3a2cd00c26",
      "name": "Specialize.lean"
    }
  ]
}