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