1 2 3 4 5 6
{ "git": { "sha1": "36ef68f05a435723491368ad68131707f529b8f4" }, "path_in_vcs": "fiat-rust" }