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