)]}'
{
  "id": "3023b206efb7d9357ea24c85f01891824a46f68e",
  "repo": "proposal",
  "revision": "0be13090fdb0cbae0d71641bb676d924bc1c94de",
  "path": "design/68578/spinbit.tla"
}