)]}'
{
  "id": "158e4f278e302ee202d7b10424b394502cd1a777",
  "repo": "mirror",
  "revision": "4990b83593729f8404f63780f51363ee5256b0d9",
  "path": "Eigen/src/Core/NumTraits.h"
}