goblint: add goblint-cil.2.0.2 upper bounds

Author: sim642

packages/goblint/goblint.2.0.0/opam

@@ -20,7 +20,7 @@ bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "ocaml" {>= "4.10" & < "5.0"}
   "dune" {>= "2.9.1"}
-  "goblint-cil" {>= "2.0.0"}
+  "goblint-cil" {>= "2.0.0" & < "2.0.2"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0"}

packages/goblint/goblint.2.0.1/opam

@@ -20,7 +20,7 @@ bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "ocaml" {>= "4.10" & < "5.0"}
   "dune" {>= "2.9.1"}
-  "goblint-cil" {>= "2.0.0"}
+  "goblint-cil" {>= "2.0.0" & < "2.0.2"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0"}

packages/goblint/goblint.2.1.0/opam

@@ -20,7 +20,7 @@ bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "ocaml" {>= "4.10" & < "5.0"}
   "dune" {>= "3.0"}
-  "goblint-cil" {>= "2.0.1"}
+  "goblint-cil" {>= "2.0.1" & < "2.0.2"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0"}