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