{ "git": { "sha1": "21237d7696246b1f02392cb6cf0e78fdd296f417" }, "path_in_vcs": "language/move-prover/test-utils" }