From 383664d4c2783f420964e26060f4e7d5a7a25faf Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 29 Aug 2024 19:45:31 +0200 Subject: [PATCH] [v8.20] Update OPAM for 8.20 embedded serlib. --- coq-serapi.opam | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/coq-serapi.opam b/coq-serapi.opam index 5cbdb8cf..ebf2e312 100644 --- a/coq-serapi.opam +++ b/coq-serapi.opam @@ -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: [