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