)]}'
{
  "id": "71a72b65cf3213ae576d4959cb98fbee993d9912",
  "repo": "mirror",
  "revision": "366971bea41c6af940b87d79122727bfc793cdac",
  "path": "Eigen/QR"
}