load("//tools/bzl:maven_jar.bzl", "maven_jar")

def external_plugin_deps():
    maven_jar(
        name = "javamelody-core",
        artifact = "net.bull.javamelody:javamelody-core:1.83.0",
        sha1 = "850a51ed7887b6f3b8388e25ba86adf15e5da52a",
    )

    maven_jar(
        name = "jrobin",
        artifact = "org.jrobin:jrobin:1.5.9",
        sha1 = "bd9a84484c67de930fa841f23cd6a93108b05cd0",
    )

@@ -177,17 +177,17 @@
 core:1.8
-3
+5
 .0%22,%0A   
@@ -203,48 +203,48 @@
  = %22
-850a51ed7887b6f3b8388e25ba86adf15e5da52a
+c3ba19e7ee1727d015bb9fc5ab806118b71873bc
 %22,%0A 

Upgrade javamelody-core to 1.85.0