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