Skip to content

Commit ebb78e8

Browse files
authored
Merge pull request #28254 from jmid/missing-v-ppx_inline_test
Missing v's in `ppx_inline_test` bounds
2 parents a07402f + 02201e8 commit ebb78e8

File tree

13 files changed

+13
-13
lines changed
  • packages
    • caisar-ir/caisar-ir.0.2
    • caisar
    • coq-lsp
      • coq-lsp.0.1.9+8.17
      • coq-lsp.0.1.9+8.18
      • coq-lsp.0.1.9+8.19
      • coq-lsp.0.2.0+8.17
      • coq-lsp.0.2.0+8.18
      • coq-lsp.0.2.0+8.19
      • coq-lsp.0.2.0+8.20

13 files changed

+13
-13
lines changed

packages/caisar-ir/caisar-ir.0.2/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ depends: [
1313
"ocaml" {>= "4.13"}
1414
"base" {>= "v0.14.0" & < "v0.17"}
1515
"ocamlgraph" {>= "1.8.8"}
16-
"ppx_inline_test" {>= "0.12.0"}
16+
"ppx_inline_test" {>= "v0.12.0"}
1717
"ppx_deriving" {>= "4.4.1"}
1818
"odoc" {with-doc}
1919
]

packages/caisar/caisar.0.2.1/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ depends: [
3333
"stdio" {>= "v0.14.0"}
3434
"ocamlgraph" {>= "1.8.8"}
3535
"ppx_deriving" {>= "5.1"}
36-
"ppx_inline_test" {>= "0.12.0"}
36+
"ppx_inline_test" {>= "v0.12.0"}
3737
"ppx_deriving_yojson" {>= "3.6.1"}
3838
"odoc" {with-doc}
3939
]

packages/caisar/caisar.1.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ depends: [
3333
"stdio" {>= "v0.14.0"}
3434
"ocamlgraph" {>= "1.8.8"}
3535
"ppx_deriving" {>= "5.1"}
36-
"ppx_inline_test" {>= "0.12.0"}
36+
"ppx_inline_test" {>= "v0.12.0"}
3737
"ppx_deriving_yojson" {>= "3.6.1"}
3838
"odoc" {with-doc}
3939
]

packages/caisar/caisar.2.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ depends: [
3131
"stdio" {>= "v0.14.0"}
3232
"ocamlgraph" {>= "1.8.8"}
3333
"ppx_deriving" {>= "5.1"}
34-
"ppx_inline_test" {>= "0.12.0"}
34+
"ppx_inline_test" {>= "v0.12.0"}
3535
"ppx_deriving_yojson" {>= "3.6.1"}
3636
"odoc" {with-doc}
3737
"conf-python-3" {with-test}

packages/caisar/caisar.2.1/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ depends: [
2929
"stdio" {>= "v0.14.0"}
3030
"ocamlgraph" {>= "1.8.8"}
3131
"ppx_deriving" {>= "5.1"}
32-
"ppx_inline_test" {>= "0.12.0"}
32+
"ppx_inline_test" {>= "v0.12.0"}
3333
"conf-texlive" {>= "1" & with-test}
3434
"conf-python-3" {>= "9.0.0" & with-test}
3535
"ppx_deriving_yojson" {>= "3.6.1"}

packages/caisar/caisar.4.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ depends: [
2929
"stdio" {>= "v0.14.0"}
3030
"ocamlgraph" {>= "1.8.8"}
3131
"ppx_deriving" {>= "5.1"}
32-
"ppx_inline_test" {>= "0.12.0"}
32+
"ppx_inline_test" {>= "v0.12.0"}
3333
"conf-jq" {>= "1" & with-test}
3434
"conf-texlive" {>= "1" & with-test}
3535
"conf-python-3" {>= "9.0.0" & with-test}

packages/coq-lsp/coq-lsp.0.1.9+8.17/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ depends: [
3636
"menhir" { >= "20220210" }
3737

3838
# unit testing
39-
"ppx_inline_test" { >= "0.14.1" }
39+
"ppx_inline_test" { >= "v0.14.1" }
4040

4141
# Uncomment this for releases
4242
"coq" { >= "8.17" < "8.18" }

packages/coq-lsp/coq-lsp.0.1.9+8.18/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ depends: [
3636
"menhir" { >= "20220210" }
3737

3838
# unit testing
39-
"ppx_inline_test" { >= "0.14.1" }
39+
"ppx_inline_test" { >= "v0.14.1" }
4040

4141
# Uncomment this for releases
4242
"coq" { >= "8.18" < "8.19" }

packages/coq-lsp/coq-lsp.0.1.9+8.19/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ depends: [
3636
"menhir" { >= "20220210" }
3737

3838
# unit testing
39-
"ppx_inline_test" { >= "0.14.1" }
39+
"ppx_inline_test" { >= "v0.14.1" }
4040

4141
# Uncomment this for releases
4242
"coq" { >= "8.19" < "8.20" }

packages/coq-lsp/coq-lsp.0.2.0+8.17/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ depends: [
3333
"menhir" { >= "20220210" }
3434

3535
# unit testing
36-
"ppx_inline_test" { >= "0.14.1" }
36+
"ppx_inline_test" { >= "v0.14.1" }
3737

3838
# Uncomment this for releases
3939
"coq" { >= "8.17" < "8.18" }

0 commit comments

Comments
 (0)