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