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