Update version dependencies for opam packages

bacam · bacam · commit 90f335606923 · 2025-03-12T12:50:47.000Z
diff --git a/coq-sail-stdpp.opam b/coq-sail-stdpp.opam
@@ -25,8 +25,8 @@ build: [
 ]
 install: [make "-C" "src-stdpp" "install"]
 depends: [
-  "coq" {>= "8.14.0"}
-  "coq-stdpp-bitvector"
+  "coq" {>= "8.18"}
+  "coq-stdpp-bitvector" {>= "1.10.0"}
 ]
 # Ensure that if we're building from Sail then the version is compatible
 conflicts: [
diff --git a/coq-sail.opam b/coq-sail.opam
@@ -22,7 +22,7 @@ dev-repo: "git+https://github.com/rems-project/coq-sail.git"
 build: [make "-C" "src" "HAVE_OPAM_BBV=yes"]
 install: [make "-C" "src" "install"]
 depends: [
-  "coq" {>= "8.14.0"}
+  "coq" {>= "8.16.0"}
   "coq-bbv" {>= "1.3"}
 ]
 # Ensure that if we're building from Sail then the version is compatible

Original file line number	Diff line number	Diff line change
`@@ -25,8 +25,8 @@ build: [`
`25`	`25`	`]`
`26`	`26`	`install: [make "-C" "src-stdpp" "install"]`
`27`	`27`	`depends: [`
`28`		`- "coq" {>= "8.14.0"}`
`29`		`- "coq-stdpp-bitvector"`
	`28`	`+ "coq" {>= "8.18"}`
	`29`	`+ "coq-stdpp-bitvector" {>= "1.10.0"}`
`30`	`30`	`]`
`31`	`31`	`# Ensure that if we're building from Sail then the version is compatible`
`32`	`32`	`conflicts: [`
Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ dev-repo: "git+https://github.com/rems-project/coq-sail.git"`
`22`	`22`	`build: [make "-C" "src" "HAVE_OPAM_BBV=yes"]`
`23`	`23`	`install: [make "-C" "src" "install"]`
`24`	`24`	`depends: [`
`25`		`- "coq" {>= "8.14.0"}`
	`25`	`+ "coq" {>= "8.16.0"}`
`26`	`26`	`"coq-bbv" {>= "1.3"}`
`27`	`27`	`]`
`28`	`28`	`# Ensure that if we're building from Sail then the version is compatible`