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