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