)]}'
{
  "id": "5c6a1890621ea2d951d634a63c28537921322e9f",
  "repo": "third_party/verible",
  "revision": "fc96e167613544e6546004a0b73a39f5770b1b4c",
  "path": "common/util/interval_set.h"
}