)]}'
{
  "id": "5768910bd88c43f0761f2f345c6f0e3b46a4d8ec",
  "repo": "mirror",
  "revision": "3ebaab8a634ec9b01fb100d65ab6a90079ee95b0",
  "path": "Eigen/Dense"
}