Skip to content

Commit 4770d64

Browse files
mserimseri
authored
Merge pull request ocaml#27310 from mseri/coq-serapi
coq-serapi < 0.20 needs upper bound on ocamlfind
2 parents c6bfb10 + 1763807 commit 4770d64

File tree

15 files changed

+15
-15
lines changed
  • packages/coq-serapi
    • coq-serapi.8.16.0+0.16.0
    • coq-serapi.8.16.0+0.16.1
    • coq-serapi.8.16.0+0.16.2
    • coq-serapi.8.16.0+0.16.3
    • coq-serapi.8.17.0+0.17.0
    • coq-serapi.8.17.0+0.17.1
    • coq-serapi.8.17.0+0.17.2
    • coq-serapi.8.17.0+0.17.3
    • coq-serapi.8.18.0+0.18.1
    • coq-serapi.8.18.0+0.18.2
    • coq-serapi.8.18.0+0.18.3
    • coq-serapi.8.19.0+0.19.0
    • coq-serapi.8.19.0+0.19.1
    • coq-serapi.8.19.0+0.19.2
    • coq-serapi.8.19.0+0.19.3

15 files changed

+15
-15
lines changed

‎packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.16" & < "8.17" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.16.0+0.16.1/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.16" & < "8.17" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.16.0+0.16.2/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.16" & < "8.17" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.16.0+0.16.3/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.16" & < "8.17" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.17.0+0.17.0/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.17" & < "8.18" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.17.0+0.17.1/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.17" & < "8.18" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.17.0+0.17.2/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.17" & < "8.18" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.17.0+0.17.3/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.17" & < "8.18" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.18.0+0.18.1/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.18" & < "8.19" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

‎packages/coq-serapi/coq-serapi.8.18.0+0.18.2/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ depends: [
2626
"ocaml" { >= "4.09.0" }
2727
"coq" { >= "8.18" & < "8.19" }
2828
"cmdliner" { >= "1.1.0" }
29-
"ocamlfind" { >= "1.8.0" }
29+
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
3030
"sexplib" { >= "v0.13.0" }
3131
"dune" { >= "2.0.1" }
3232
"ppx_import" { build & >= "1.5-3" & < "2.0" }

0 commit comments

Comments
 (0)