Missing v in ppx_inline_test bound for coq-lsp.0.1.9+8.17-0.2.0+8.20

jmid · jmid · commit 02201e87f0d5 · 2025-07-24T23:37:15.000+02:00
diff --git a/packages/coq-lsp/coq-lsp.0.1.9+8.17/opam b/packages/coq-lsp/coq-lsp.0.1.9+8.17/opam
@@ -36,7 +36,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.17" < "8.18"  }
diff --git a/packages/coq-lsp/coq-lsp.0.1.9+8.18/opam b/packages/coq-lsp/coq-lsp.0.1.9+8.18/opam
@@ -36,7 +36,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.18" < "8.19"  }
diff --git a/packages/coq-lsp/coq-lsp.0.1.9+8.19/opam b/packages/coq-lsp/coq-lsp.0.1.9+8.19/opam
@@ -36,7 +36,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.19" < "8.20"  }
diff --git a/packages/coq-lsp/coq-lsp.0.2.0+8.17/opam b/packages/coq-lsp/coq-lsp.0.2.0+8.17/opam
@@ -33,7 +33,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.17" < "8.18"  }
diff --git a/packages/coq-lsp/coq-lsp.0.2.0+8.18/opam b/packages/coq-lsp/coq-lsp.0.2.0+8.18/opam
@@ -33,7 +33,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.18" < "8.19"  }
diff --git a/packages/coq-lsp/coq-lsp.0.2.0+8.19/opam b/packages/coq-lsp/coq-lsp.0.2.0+8.19/opam
@@ -33,7 +33,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.19" < "8.20"  }
diff --git a/packages/coq-lsp/coq-lsp.0.2.0+8.20/opam b/packages/coq-lsp/coq-lsp.0.2.0+8.20/opam
@@ -33,7 +33,7 @@ depends: [
   "menhir"       { >= "20220210" }
 
   # unit testing
-  "ppx_inline_test"     { >= "0.14.1" }
+  "ppx_inline_test"     { >= "v0.14.1" }
 
   # Uncomment this for releases
   "coq"          { >= "8.20" < "8.21"  }
