)]}'
{
  "id": "f033bc783f421689bb7ac7c0051838eb55dd81d9",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bf4521d7564e3f8b1828c6c5be36818a73a6695f",
      "name": "Basic.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d5db4de804b5d2711ed61bf6de2258e64f714673",
      "name": "eqns"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1e2109e14e1649fa0a1f0770a86be3bdbbd0c848",
      "name": "new-frontend"
    }
  ]
}