)]}'
{
  "id": "c1e322c614a448d992fb3af2f5ad3f56a49de9b0",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "0822d79f04ee6adea85833f4f5674e29bb6a04fe",
      "name": "AtMostOnce.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3fc71e4bea9b63496ebc0da16a296100abf5b6b1",
      "name": "BorrowedAnnotation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fad0e367b4dbeabd3b5fb3dd3d84594d1a770ff",
      "name": "CSimpAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3456bf46d113bb147240bda789b9bf9b940d508d",
      "name": "ClosedTermCache.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ee99319fd2da11ebb561dc3a3c3f0b43375318f5",
      "name": "ConstFolding.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2fafe73c2e8da4a53b1428fb2deb732c7ceaa615",
      "name": "ExportAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b7eb708e35665e40ea0d120ca6f4ef11c6436135",
      "name": "ExternAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "85e95a3730860630610ebea097e5b428a2db105d",
      "name": "FFI.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0f8dd3005e78f735366b465ae14a5852da980d7d",
      "name": "IR.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f913e9c44a73f581f645c4e65e3fc4a86e5662ef",
      "name": "IR"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9d2aae8115d0f455f20af6677b560edd1e7bdce7",
      "name": "ImplementedByAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "212e3c6de3164e655cbc8872d50fe67b7ff38b81",
      "name": "InitAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "64bfa03fe6dfb18853d7c0bf41fe9534446ad702",
      "name": "InlineAttrs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ff6b1d3f0458c6f955d4c083832d205a9fda7f8",
      "name": "LCNF.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3c6f237f5810f2798a6772892c045f13adcca990",
      "name": "LCNF"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2dad081e8db45148700638a4f09d00739a42a5fa",
      "name": "Main.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f799e57a2b77a5d6167a87eaecaa725439be4c7",
      "name": "NameMangling.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b7194c7c886d26daf877d5b005c23d3ddbdbfd7",
      "name": "NeverExtractAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a572182a4be7a8f78f17345c26bf681726605345",
      "name": "NoncomputableAttr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "52908bc84eda8d8f8481fa52c7617a0bf5d13a73",
      "name": "Old.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f586b538269daf8f8d94c03c5fbaf347e9b79911",
      "name": "Options.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc17f83b19b29523132e868927d0775a86a1a827",
      "name": "Specialize.lean"
    }
  ]
}