Add upper bounds to goblint packages

Author: sim642

packages/goblint/goblint.1.0.0/opam

@@ -9,14 +9,15 @@ depends: [
   "ocaml" {>= "4.04.1" & < "4.07"}
   "ocamlbuild" {build}
   "ocamlfind" {build}
-  "goblint-cil" {build}
+  "goblint-cil" {build & < "1.8.0"}
   "batteries" {build & < "3.4.0"}
   "xml-light" {build}
   "ppx_distr_guards"
   "ppx_monadic"
   "ppx_import"
   "ppx_deriving"
   "ppx_deriving_yojson"
+  "yojson" {< "1.6.0"}
 ]
 synopsis: "Static analysis framework for concurrent C"
 url {

packages/goblint/goblint.1.1.1/opam

@@ -20,7 +20,7 @@ bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "ocaml" {>= "4.09"}
   "dune" {>= "2.9.1"}
-  "goblint-cil" {>= "1.8.2"}
+  "goblint-cil" {>= "1.8.2" & < "2.0.0"}
   "batteries" {>= "3.2.0" & < "3.4.0"}
   "zarith" {>= "1.8"}
   "qcheck-core"