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