)]}'
{
  "id": "bd6511ea05421cc1bc30fe1bdaf6b0b81d0408a6",
  "repo": "mirror",
  "revision": "e89236d8f3ce0b71f43a5c15586957682ebe4c01",
  "path": "contrib/Eigen/src/GPU/DeviceDispatch.h"
}