Fix warning about incorrect workspace name (#951)

The workspace name for prometheus-cpp has been updated to the correct
canonical name.
master
Rodrigo Queiro 2018-03-02 13:32:58 +01:00 committed by Alexander Belyaev
parent d05e5d99f4
commit b51bf3dd6d
1 changed files with 3 additions and 3 deletions

View File

@ -219,10 +219,10 @@ def cartographer_repositories():
_maybe(native.http_archive, _maybe(native.http_archive,
name = "com_github_jupp0r_prometheus_cpp", name = "com_github_jupp0r_prometheus_cpp",
sha256 = "701789ff0cc3a5ea7ba78d31b2d18265969f1c7d669f83800fffd8f39c4fa1bb", sha256 = "41b202a206ba6339c4678ffe3690659fdb77287d97507aad82a83c5360b8ba8b",
strip_prefix = "prometheus-cpp-743722db96465aa867bf569eb455ad82dab9f819", strip_prefix = "prometheus-cpp-b3914b1045c92649e81d020851f3bb06ef858df4",
urls = [ urls = [
"https://github.com/jupp0r/prometheus-cpp/archive/743722db96465aa867bf569eb455ad82dab9f819.tar.gz", "https://github.com/jupp0r/prometheus-cpp/archive/b3914b1045c92649e81d020851f3bb06ef858df4.tar.gz",
], ],
) )