)]}'
{
  "id": "5e3fbb5fb1e554955d5b4f46d03b29e73f5576bf",
  "repo": "3p/sel4/sel4_tools",
  "revision": "4cb1b32699034b1939f441d8ce5594aa37dc361f",
  "path": "cmake-tool/base.cmake"
}