)]}'
{
  "id": "bf53835b067358cdb57eb0d2a14cb7323056795c",
  "repo": "mirror",
  "revision": "refs/heads/ci-remote-ccache",
  "path": "Eigen/src/QR/HouseholderQR.h"
}