)]}'
{
  "id": "5c8896437335907600554b956824c47547baf864",
  "repo": "3p/tock/libtock-rs",
  "revision": "84c4bf25b784f26b9cac86faad9247a61ba6244b",
  "path": "doc/MiriTips.md"
}