)]}'
{
  "id": "2daa23cc354d57f33cfe76656fa29eef3df9d113",
  "repo": "mirror",
  "revision": "c4051d3d024584323b20e1568d982b76a702f80c",
  "path": "Eigen/src/QR/ColPivHouseholderQR.h"
}