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