tools/build_defs/jsonnet/jsonnet.WORKSPACE

new_git_repository(
    name = "jsonnet",
    remote = "https://github.com/google/jsonnet.git",
    tag = "v0.8.0",
    build_file = "tools/build_defs/jsonnet/jsonnet.BUILD",
)