)]}'
{
  "id": "ea28496b77cb83c11b56bb935b97099c1baa4db1",
  "repo": "platform/external/eigen",
  "revision": "refs/heads/android12-dev",
  "path": "bench/BenchTimer.h"
}