Add missing v in goblint's apron conflict bound

jmid · jmid · commit 67ac214290b5 · 2025-07-25T09:34:33.000+02:00
diff --git a/packages/goblint/goblint.1.1.1/opam b/packages/goblint/goblint.1.1.1/opam
@@ -65,7 +65,7 @@ url {
 }
 x-commit-hash: "c35cb34d985a98308e65666cfb547f2447045ce9"
 conflicts: [
-  "apron" {>= "0.9.15"}
+  "apron" {>= "v0.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!
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
@@ -51,7 +51,7 @@ depopts: ["apron"]
 conflicts: [
   "result" {< "1.5"}
   "z3"
-  "apron" {>= "0.9.15"}
+  "apron" {>= "v0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.0.1/opam b/packages/goblint/goblint.2.0.1/opam
@@ -50,7 +50,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
-  "apron" {>= "0.9.15"}
+  "apron" {>= "v0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.1.0/opam b/packages/goblint/goblint.2.1.0/opam
@@ -52,7 +52,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
-  "apron" {>= "0.9.15"}
+  "apron" {>= "v0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.2.1/opam b/packages/goblint/goblint.2.2.1/opam
@@ -52,7 +52,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
-  "apron" {>= "0.9.15"}
+  "apron" {>= "v0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint/goblint.2.3.0/opam b/packages/goblint/goblint.2.3.0/opam
@@ -52,7 +52,7 @@ depends: [
 depopts: ["apron" "z3"]
 conflicts: [
   "result" {< "1.5"}
-  "apron" {>= "0.9.15"}
+  "apron" {>= "v0.9.15"}
 ]
 build: [
   ["dune" "subst"] {dev}

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ url {`
`65`	`65`	`}`
`66`	`66`	`x-commit-hash: "c35cb34d985a98308e65666cfb547f2447045ce9"`
`67`	`67`	`conflicts: [`
`68`		`- "apron" {>= "0.9.15"}`
	`68`	`+ "apron" {>= "v0.9.15"}`
`69`	`69`	`]`
`70`	`70`	# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
`71`	`71`	`# also remember to generate/adjust goblint.opam.locked!`
Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ depopts: ["apron"]`
`51`	`51`	`conflicts: [`
`52`	`52`	`"result" {< "1.5"}`
`53`	`53`	`"z3"`
`54`		`- "apron" {>= "0.9.15"}`
	`54`	`+ "apron" {>= "v0.9.15"}`
`55`	`55`	`]`
`56`	`56`	`build: [`
`57`	`57`	`["dune" "subst"] {dev}`
Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ depends: [`
`50`	`50`	`depopts: ["apron" "z3"]`
`51`	`51`	`conflicts: [`
`52`	`52`	`"result" {< "1.5"}`
`53`		`- "apron" {>= "0.9.15"}`
	`53`	`+ "apron" {>= "v0.9.15"}`
`54`	`54`	`]`
`55`	`55`	`build: [`
`56`	`56`	`["dune" "subst"] {dev}`
Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ depends: [`
`52`	`52`	`depopts: ["apron" "z3"]`
`53`	`53`	`conflicts: [`
`54`	`54`	`"result" {< "1.5"}`
`55`		`- "apron" {>= "0.9.15"}`
	`55`	`+ "apron" {>= "v0.9.15"}`
`56`	`56`	`]`
`57`	`57`	`build: [`
`58`	`58`	`["dune" "subst"] {dev}`