)]}'
{
  "repo": "3p/nicta/cogent",
  "url": "https://github.com/seL4/isabelle.git",
  "revision": "d4d6f88b61122a64cae44be37a59489d0cd71f91",
  "path": "isabelle"
}