)]}'
{
  "id": "a6cd31f1228c2fd6f20e0b16c11ee08f159cc184",
  "repo": "mirror",
  "revision": "312013a08911816e287425d598e55e5d356e0ac5",
  "path": "Eigen/src/QR/QR.h"
}