)]}'
{
  "name": "incubator-teaclave-verification",
  "clone_url": "https://apache.googlesource.com/incubator-teaclave-verification",
  "description": "Teaclave specification and proofs.",
  "mirrored_from_url": "https://github.com/apache/incubator-teaclave-verification.git"
}