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