)]}'
{
  "id": "e40f43e6fc7bc16bed2de08c5e5c5f11e5709726",
  "repo": "third_party/kernel",
  "revision": "09cbfeaf1a5a67bfb3201e0c83c810cecb2efa5a",
  "path": "include/sound/seq_midi_event.h"
}