)]}'
{
  "id": "bede8362f3cb6f5fd980b0ec77f20b251bf7d38f",
  "repo": "mirror",
  "revision": "6f71ef8277405d268032f7c3bcaf316c7422c133",
  "path": "Eigen/src/Core/Redux.h"
}