)]}'
{
  "id": "1894af415b2049f6e86e28bd8b43f49f6bd213b6",
  "repo": "manifest_repos/kernel",
  "revision": "56f6ecad7e8aebbbde7e963cdf32ad3112650d66",
  "path": "include/sound/rawmidi.h"
}