)]}'
{
  "id": "4cef6c1f48ea33f1706a440c79ffeb462ac74a1d",
  "repo": "3p/sel4proj/projects_libs",
  "revision": "d37e47af826470567f59631ece7d6075de07a2fa",
  "path": "libsdhcdrivers/src/mmc.c"
}