)]}'
{
  "id": "189304d541c95c0663453c737e9e2bbfadf02ee9",
  "repo": "mirror",
  "revision": "6e138d0069a7c3d82b7119781bd1a8e8087db141",
  "path": "Eigen/src/Core/Flagged.h"
}