)]}'
{
  "id": "18ba10364520fee40a50be32202f993c232ebf4b",
  "repo": "mirror",
  "revision": "daee26c92982f4451703b089cb739cc7ea1c0814",
  "path": "Eigen/src/Core/Redux.h"
}