)]}'
{
  "id": "0eea47676b490c4abfd100a988a8f424bafbbc57",
  "repo": "mirror",
  "revision": "3acd007f9d24e94e9266f7ff9cad7adac2934fad",
  "path": "Eigen/src/QR/HouseholderQR.h"
}