Skip to content

Commit

Permalink
[v8.20] Update OPAM for 8.20 embedded serlib.
Browse files Browse the repository at this point in the history
  • Loading branch information
@ejgallego
ejgallego committed Aug 29, 2024
1 parent 7509ce8 commit 383664d
Showing 1 changed file with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions coq-serapi.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,21 +23,21 @@ authors: [
]

depends: [
"dune" { >= "2.9.1" }
"ocaml" { >= "4.12.0" }
"coq" { >= "8.20" & < "8.21" | = "dev" }
# We vendor this for now
# "coq-lsp" { >= "0.2.0" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ppx_import" { build & >= "1.5-3" & < "2.0" }
"ppx_deriving" { >= "4.2.1" }
"sexplib" { >= "v0.13.0" }
"ppx_sexp_conv" { >= "v0.13.0" }
"dune" { >= "2.9.1" }
"ocaml" { >= "4.12.0" }
"coq" { >= "8.20" & < "8.21" | = "dev" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.13.0" }
"dune" { >= "2.0.1" }
"cmdliner" { >= "1.1.0" }
"ocamlfind" { >= "1.8.0" }
"ppx_import" { >= "1.11.0" & < "2.0" }
"ppx_deriving" { >= "4.2.1" }
"sexplib" { >= "v0.13.0" & < "v0.18" }
"ppx_sexp_conv" { >= "v0.13.0" & < "v0.18" }
"ppx_compare" { >= "v0.13.0" & < "v0.18" }
"ppx_hash" { >= "v0.13.0" & < "v0.18" }
]

conflicts: [
Expand Down

0 comments on commit 383664d

Please sign in to comment.