)]}'
{
  "repo": "3p/nicta/cogent",
  "url": "https://github.com/Z3Prover/z3.git",
  "revision": "e775964cfdd48ad0a2edcea89b644d884d57efeb",
  "path": "z3"
}