)]}'
{
  "id": "2a6c7c603b3147950e8e6ab147d86bac43706c6c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b62f4dcf7714a8145651e9577e42785cd6e91dfb",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a2ebcdcc8f32176bde0a8b419bfbf5a1a09d01e8",
      "name": "Git.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1cfeb72089ff89b440b062a1178c537d615303c",
      "name": "LeanVersion.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a941e92b02bc688bb046f5a8fd1480126e3a7e29",
      "name": "Manifest.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aeb5c05b4436f283ca4de54d7e9c633f14b006e5",
      "name": "Proc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6afc734be1697883d4c0a92d4541f4b679ea781a",
      "name": "Resolve.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "31d910a63e7c110b5faf25639094d176da62b5cb",
      "name": "Toml.lean"
    }
  ]
}