)]}'
{
  "id": "eb1b7fd7c3866166fa939c3e2841e54496710f09",
  "repo": "mirror",
  "revision": "a14735e7e624ff37c2fef6ace47ea42c1eaf0728",
  "path": "Eigen/src/Core/SafeScaling.h"
}