1 2 3 4 5 6 7
{ "git": { "sha1": "f6fe1f8b716631b74eafe4f41262e4f38b0f0d35", "dirty": true }, "path_in_vcs": "prover" }