)]}'
{
  "id": "eff60cd61106f95ed9d607cc3998550f44a83b9c",
  "repo": "linux",
  "revision": "0a70cac7896712a08e3cd22c16f44be976d40dbf",
  "path": "include/rv/ltl_monitor.h"
}