)]}'
{
  "id": "b45e277efbd6ae9806ed51aa6ed84f43a7359154",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "9842ca3eac26900be1f095dd4c4aada3caf76418",
      "name": "Isabelle"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9536f4ccaa631b7c4d53dfceef05c91c6d9ff594",
      "name": "Makefile"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "863b10db188ca59333e3361cf2860e44682978c7",
      "name": "Setup.hs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f64ba12583c15aeff3adb15bf12fe86e038f32e2",
      "name": "isa-parser.cabal"
    }
  ]
}