Skip to content

Commit

Permalink
coq-serapi < 0.20 needs upper bound on ocamlfind
Browse files Browse the repository at this point in the history 
Seen on ocaml#27253

Signed-off-by: Marcello Seri <[email protected]>
  • Loading branch information
@mseri
mseri committed Jan 23, 2025
1 parent c6bfb10 commit 1763807
Show file tree
Hide file tree
Showing 15 changed files with 15 additions and 15 deletions.
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.16" & < "8.17" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.16.0+0.16.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.16" & < "8.17" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.16.0+0.16.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.16" & < "8.17" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.16.0+0.16.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.16" & < "8.17" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.17.0+0.17.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.17" & < "8.18" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.17.0+0.17.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.17" & < "8.18" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.17.0+0.17.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.17" & < "8.18" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.17.0+0.17.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.17" & < "8.18" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.18.0+0.18.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.18" & < "8.19" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.18.0+0.18.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.18" & < "8.19" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.18.0+0.18.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.18" & < "8.19" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.19.0+0.19.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.19" & < "8.20" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.19.0+0.19.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.19" & < "8.20" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.19" & < "8.20" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down
2 changes: 1 addition & 1 deletion packages/coq-serapi/coq-serapi.8.19.0+0.19.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ depends: [
"ocaml" { >= "4.09.0" }
"coq" { >= "8.19" & < "8.20" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ocamlfind" {>= "1.8.0" & < "1.9.8"}
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
Expand Down

0 comments on commit 1763807

Please sign in to comment.