Replace depopts lower bounds with conflicts upper bounds

Seems that opam's builtin-0install lower bounds downgrade violates the ones in depopts.

Author: sim642

dune-project

@@ -71,13 +71,14 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e
     domain_shims
   )
   (depopts
-    (apron (>= v0.9.15))
-    (camlidl (>= 1.13)) ; for stability (https://github.com/goblint/analyzer/issues/1520)
+    apron
     z3
     domainslib
   )
   (conflicts
     (result (< 1.5)) ; transitive dependency, overrides standard Result module and doesn't have map_error, bind
+    (apron (< v0.9.15)) ; lower bounds for depopts seem to not properly constrain in builtin-0install lower-bounds job, so upper bounds for conflicts instead
+    (camlidl (< 1.13)) ; for stability (https://github.com/goblint/analyzer/issues/1520)
     (ez-conf-lib (= 1)) ; https://github.com/nberth/ez-conf-lib/issues/3
   )
   (sites

goblint.opam

@@ -70,14 +70,11 @@ depends: [
   "domain-local-await"
   "domain_shims"
 ]
-depopts: [
-  "apron" {>= "v0.9.15"}
-  "camlidl" {>= "1.13"}
-  "z3"
-  "domainslib"
-]
+depopts: ["apron" "z3" "domainslib"]
 conflicts: [
   "result" {< "1.5"}
+  "apron" {< "v0.9.15"}
+  "camlidl" {< "1.13"}
   "ez-conf-lib" {= "1"}
 ]
 build: [

goblint.opam.locked

@@ -135,6 +135,8 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 conflicts: [
   "result" {< "1.5"}
+  "apron" {< "v0.9.15"}
+  "camlidl" {< "1.13"}
   "ez-conf-lib" {= "1"}
 ]
 post-messages: [