)]}'
{
  "id": "f3e91d4110e08379aba3652c7b9b7e40ec2d0771",
  "repo": "mirror",
  "revision": "dbb99fed2ecff25e2cbf1f7e285ae6f5341b4664",
  "path": "lapack/householder.inc"
}