diff --git a/packages/apronext/apronext.1.0.1/opam b/packages/apronext/apronext.1.0.1/opam
index f6bfd52cc23..0329c2b7633 100644
--- a/packages/apronext/apronext.1.0.1/opam
+++ b/packages/apronext/apronext.1.0.1/opam
@@ -14,7 +14,7 @@ run-test: [
 depends: [
   "dune"  {>= "2.1"}
   "ocaml" {>= "4.08"}
-  "apron"
+  "apron" {< "0.9.15"}
 ]
 synopsis: "Apron extension"
 description: "An extension for the OCaml interface of the Apron library"
diff --git a/packages/apronext/apronext.1.0.2/opam b/packages/apronext/apronext.1.0.2/opam
index 094c4e4485c..8bc82f18679 100644
--- a/packages/apronext/apronext.1.0.2/opam
+++ b/packages/apronext/apronext.1.0.2/opam
@@ -14,7 +14,7 @@ run-test: [
 depends: [
   "dune"  {>= "2.1"}
   "ocaml" {>= "4.08"}
-  "apron"
+  "apron" {< "0.9.15"}
 ]
 synopsis: "Apron extension"
 description: "An extension for the OCaml interface of the Apron library"
diff --git a/packages/apronext/apronext.1.0.3/opam b/packages/apronext/apronext.1.0.3/opam
index 45f629a0241..30ac98f5321 100644
--- a/packages/apronext/apronext.1.0.3/opam
+++ b/packages/apronext/apronext.1.0.3/opam
@@ -14,7 +14,7 @@ run-test: [
 depends: [
   "dune"  {>= "2.1"}
   "ocaml" {>= "4.08"}
-  "apron"
+  "apron" {< "0.9.15"}
 ]
 synopsis: "Apron extension"
 description: "An extension for the OCaml interface of the Apron library"
diff --git a/packages/apronext/apronext.1.0.4/opam b/packages/apronext/apronext.1.0.4/opam
index 4668a99fdc9..0c77f0d6a91 100644
--- a/packages/apronext/apronext.1.0.4/opam
+++ b/packages/apronext/apronext.1.0.4/opam
@@ -14,7 +14,7 @@ run-test: [
 depends: [
   "dune"  {>= "2.1"}
   "ocaml" {>= "4.08"}
-  "apron"
+  "apron" {< "0.9.15"}
 ]
 synopsis: "Apron extension"
 description: "An extension for the OCaml interface of the Apron library"
diff --git a/packages/apronext/apronext.1.0/opam b/packages/apronext/apronext.1.0/opam
index 032f528c101..311cef3e91d 100644
--- a/packages/apronext/apronext.1.0/opam
+++ b/packages/apronext/apronext.1.0/opam
@@ -14,7 +14,7 @@ run-test: [
 depends: [
   "dune" {>= "2.1"}
   "ocaml" {>= "4.08"}
-  "apron"
+  "apron" {< "0.9.15"}
 ]
 synopsis: "Apron extension"
 description: "An extension for the OCaml interface of the Apron library"
diff --git a/packages/goblint/goblint.1.1.1/opam b/packages/goblint/goblint.1.1.1/opam
index ea09996def6..3ac8507edbf 100644
--- a/packages/goblint/goblint.1.1.1/opam
+++ b/packages/goblint/goblint.1.1.1/opam
@@ -64,6 +64,9 @@ url {
   ]
 }
 x-commit-hash: "c35cb34d985a98308e65666cfb547f2447045ce9"
+conflicts: [
+  "apron" {>= "0.9.15"}
+]
 # on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
 # also remember to generate/adjust goblint.opam.locked!
 # pin-depends: [
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
index 32ff6a69d1c..fd3422adbb9 100644
--- a/packages/goblint/goblint.2.0.0/opam
+++ b/packages/goblint/goblint.2.0.0/opam
@@ -51,6 +51,7 @@ depopts: ["apron"]
 conflicts: [
   "result" {< "1.5"}
   "z3"
+  "apron" {>= "0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.0.1/opam b/packages/goblint/goblint.2.0.1/opam
index 1ef1ef6ea22..2fe04ad16d1 100644
--- a/packages/goblint/goblint.2.0.1/opam
+++ b/packages/goblint/goblint.2.0.1/opam
@@ -50,6 +50,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
+  "apron" {>= "0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.1.0/opam b/packages/goblint/goblint.2.1.0/opam
index c23bb0f45fe..c49f83d4eb3 100644
--- a/packages/goblint/goblint.2.1.0/opam
+++ b/packages/goblint/goblint.2.1.0/opam
@@ -52,6 +52,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
+  "apron" {>= "0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.2.1/opam b/packages/goblint/goblint.2.2.1/opam
index 0b5a904c167..53e8b89db98 100644
--- a/packages/goblint/goblint.2.2.1/opam
+++ b/packages/goblint/goblint.2.2.1/opam
@@ -52,6 +52,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
+  "apron" {>= "0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.3.0/opam b/packages/goblint/goblint.2.3.0/opam
index af54d41a364..733ccdaf75e 100644
--- a/packages/goblint/goblint.2.3.0/opam
+++ b/packages/goblint/goblint.2.3.0/opam
@@ -52,6 +52,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
+  "apron" {>= "0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}