)]}'
{
  "id": "74d102ad41f8b08d51ec9c64b7f1419b0a1718ac",
  "repo": "mirror",
  "revision": "aa93dede1235107e523588aa6d8ae7ecbf7e6fad",
  "path": "contrib/Eigen/src/NonLinearOptimization/InternalHeaderCheck.h"
}
