)]}'
{
  "id": "05b2a4e09102f6c295b07e7d6f3a80b50de94441",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "987ccddef0dfb8671e5a0eb4cf6878c521cc66ea",
      "name": "Makefile"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e5cb3441ce7a07b88d00958103846cfaaecff12",
      "name": "sem.promela"
    }
  ]
}