)]}'
{
  "id": "c38b453b076b3e2538f847fa9258c0d30a26363a",
  "repo": "eigen",
  "revision": "a8c2f0530aa63f6ebeffa03f8a15a7ddc3de85cc",
  "path": "Eigen/QR"
}