)]}'
{
  "id": "a6abe617b1baec851c1b3bd70ba593f171d34045",
  "repo": "mirror",
  "revision": "312013a08911816e287425d598e55e5d356e0ac5",
  "path": "Eigen/src/Core/Flagged.h"
}