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