)]}'
{
  "id": "98ace43e4a5a2cf9e793b0711d3196f1f621638c",
  "repo": "platform/external/eigen",
  "revision": "refs/heads/android13-dev",
  "path": "doc/TutorialSlicingIndexing.dox"
}