Add upper bound to jsonrpc due to upstream interface changes

sim642 · sim642 · commit 16731473dacd · 2022-06-24T09:43:06.000+03:00
diff --git a/dune-project b/dune-project
@@ -41,7 +41,7 @@
     fpath
     dune-site
     json-data-encoding
-    jsonrpc
+    (jsonrpc (< 1.12))
     (sha (>= 1.12))
     cpu
     arg-complete
diff --git a/goblint.opam b/goblint.opam
@@ -37,7 +37,7 @@ depends: [
   "fpath"
   "dune-site"
   "json-data-encoding"
-  "jsonrpc"
+  "jsonrpc" {< "1.12"}
   "sha" {>= "1.12"}
   "cpu"
   "arg-complete"
