goblint: add goblint-cil.2.0.4 upper bounds

Author: sim642

packages/goblint/goblint.2.2.1/opam

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

packages/goblint/goblint.2.3.0/opam

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