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