1 2 3 4 5 6
{ "git": { "sha1": "e730d71153a27581d852fcb0d7da067b21ce6a5c" }, "path_in_vcs": "bn254" }