)]}'
{
  "id": "0eea47676b490c4abfd100a988a8f424bafbbc57",
  "repo": "mirror",
  "revision": "50e43bc75ad3cccc5e9755bac16c5023dd22eba4",
  "path": "Eigen/src/QR/HouseholderQR.h"
}