)]}'
{
  "id": "b9aa77f689ba68c956ba8f5889de58c832652330",
  "repo": "rust",
  "revision": "refs/heads/main",
  "path": "src/tools/miri/priroda/vscode_launch.json"
}