Skip to content
Back to pull request #193

Replace git_repository with http_archive #173

Sign in to view logs

Replace git_repository with http_archive

Replace git_repository with http_archive #173

The logs for this run have expired and are no longer available.