)]}'
{
  "id": "9db64e21900ac2b77b1c385880e85edbd08a004d",
  "repo": "mirror",
  "revision": "35647b01334370d0ddfd5d2d3376d4200947b007",
  "path": "Eigen/src/QR/HouseholderQR.h"
}