)]}'
{
  "id": "94b817a029c8998c8697df175efc9eea9ea7ba00",
  "repo": "mirror",
  "revision": "15d72d3f9aef0216d3b1074bf962bdc33776e877",
  "path": "Eigen/src/QR/QR.h"
}