)]}'
{
  "id": "7a704dc00ff8fc5509ec72fec983ece152fa755a",
  "repo": "mirror",
  "revision": "refs/heads/rmlarsen1/gpu-runtime-checked-launch",
  "path": "lapack/dladiv.f"
}