Add goblint-cil 2.0.0 upper bound to incompatible goblint packages

Author: sim642

packages/goblint/goblint.1.0.0/opam

@@ -9,7 +9,7 @@ depends: [
   "ocaml" {>= "4.04.1" & < "4.07"}
   "ocamlbuild" {build}
   "ocamlfind" {build}
-  "goblint-cil" {build}
+  "goblint-cil" {build & < "2.0.0"}
   "batteries" {build & < "3.4.0"}
   "xml-light" {build}
   "ppx_distr_guards"

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"