)]}'
{
  "id": "135eec57254e9452216f6cb4d2dae024264d0aba",
  "repo": "mirror",
  "revision": "6015422ee6e07377e9f8c776d136674ea303c57b",
  "path": "unsupported/Eigen/AlignedVector3"
}