)]}'
{
  "id": "804142a0032420e4f886f722b67be8f4113490bb",
  "repo": "mirror",
  "revision": "fe3bb545e0a1a1cfaf36f6e25a5cc0bfb00337c6",
  "path": "unsupported/Eigen/AlignedVector3"
}