Update dataflow-shaded

#13016 (comment) Closes #13348. Signed-off-by: Philipp Wollermann <[email protected]>
bazelbuild · Apr 13, 2021 · 1eb6cc0 · 1eb6cc0
1 parent 5894a85
commit 1eb6cc0
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 3 deletions.
diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD
@@ -11,14 +11,14 @@ filegroup(
 
 java_import(
     name = "checker_framework_dataflow",
-    jars = ["dataflow-shaded-3.1.2.jar"],
-    srcjar = "dataflow-shaded-3.1.2-sources.jar",
+    jars = ["dataflow-shaded-3.11.0.jar"],
+    srcjar = "dataflow-shaded-3.11.0-sources.jar",
     deps = [
         "//third_party/checker_framework_javacutil",
     ],
 )
 
 filegroup(
     name = "bootstrap",
-    srcs = ["dataflow-shaded-3.1.2.jar"],
+    srcs = ["dataflow-shaded-3.11.0.jar"],
 )
diff --git a/third_party/checker_framework_dataflow/dataflow-shaded-3.1.2-sources.jar b/third_party/checker_framework_dataflow/dataflow-shaded-3.1.2-sources.jar
diff --git a/third_party/checker_framework_dataflow/dataflow-shaded-3.1.2.jar b/third_party/checker_framework_dataflow/dataflow-shaded-3.1.2.jar
diff --git a/third_party/checker_framework_dataflow/dataflow-shaded-3.11.0-sources.jar b/third_party/checker_framework_dataflow/dataflow-shaded-3.11.0-sources.jar
diff --git a/third_party/checker_framework_dataflow/dataflow-shaded-3.11.0.jar b/third_party/checker_framework_dataflow/dataflow-shaded-3.11.0.jar