)]}'
{
  "id": "e65a820c3d2ccc413e8df192f9ad6205a9f08172",
  "repo": "3p/sel4/musllibc",
  "revision": "4a8335b2248d934e2e40386af4f1b0495b3c173d",
  "path": "src/thread/pthread_spin_destroy.c"
}