Opamupgrade.text

(base) mukesh.tiwari@Mukeshs-MacBook-Pro-2 ~ % opam upgrade
The following actions will be performed:
=== recompile 9 packages
  ↻ coq-elpi                2.2.3              [uses elpi, ppx_optcomp]
  ↻ lsp                     1.18.0             [uses ppx_yojson_conv_lib]
  ↻ ocaml-lsp-server        1.18.0~5.2preview  [uses base, ppx_yojson_conv_lib]
  ↻ ocamlformat             0.26.2             [uses ocamlformat-lib]
  ↻ ocamlformat-lib         0.26.2             [uses base, stdio]
  ↻ ppx_deriving            6.0.2              [uses ppxlib]
  ↻ ppx_import              1.11.0             [uses ppxlib]
  ↻ ppxlib                  0.33.0             [uses sexplib0]
  ↻ sel                     0.4.0              [uses ppx_deriving]
=== upgrade 23 packages
  ↗ base                    v0.15.1 to v0.17.1
  ↗ elpi                    1.19.4 to 1.19.5
  ↗ jane-street-headers     v0.15.0 to v0.17.0
  ↗ jst-config              v0.15.1 to v0.17.0
  ↗ parsexp                 v0.15.0 to v0.17.0
  ↗ ppx_assert              v0.15.0 to v0.17.0
  ↗ ppx_base                v0.15.0 to v0.17.0
  ↗ ppx_cold                v0.15.0 to v0.17.0
  ↗ ppx_compare             v0.15.0 to v0.17.0
  ↗ ppx_enumerate           v0.15.0 to v0.17.0
  ↗ ppx_hash                v0.15.0 to v0.17.0
  ↗ ppx_here                v0.15.0 to v0.17.0
  ↗ ppx_inline_test         v0.15.1 to v0.17.0
  ↗ ppx_js_style            v0.15.0 to v0.17.0
  ↗ ppx_optcomp             v0.15.0 to v0.17.0
  ↗ ppx_sexp_conv           v0.15.1 to v0.17.0
  ↗ ppx_yojson_conv         v0.15.1 to v0.17.0
  ↗ ppx_yojson_conv_lib     v0.15.0 to v0.17.0
  ↗ sexplib                 v0.15.1 to v0.17.0
  ↗ sexplib0                v0.15.1 to v0.17.0
  ↗ stdio                   v0.15.0 to v0.17.0
  ↗ time_now                v0.15.0 to v0.17.0
  ↗ vscoq-language-server   2.1.4 to 2.1.7
=== install 3 packages
  ∗ ocaml_intrinsics_kernel v0.17.0            [required by base]
  ∗ ppx_globalize           v0.17.0            [required by ppx_base]
  ∗ ppxlib_jane             v0.17.0            [required by ppx_hash, ppx_compare, ppx_enumerate, ppx_sexp_conv]

Proceed with ↻ 9 recompilations, ↗ 23 upgrades and ∗ 3 installations? [y/n] y

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫
⬇ retrieved coq-elpi.2.2.3  (cached)
⬇ retrieved base.v0.17.1  (https://opam.ocaml.org/cache)
⬇ retrieved jst-config.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved jane-street-headers.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved lsp.1.18.0  (cached)
⬇ retrieved ocaml-lsp-server.1.18.0~5.2preview  (cached)
⬇ retrieved ocaml_intrinsics_kernel.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved parsexp.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ocamlformat.0.26.2, ocamlformat-lib.0.26.2  (cached)
⬇ retrieved ppx_assert.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_base.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_cold.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_deriving.6.0.2  (cached)
⬇ retrieved ppx_compare.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_enumerate.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_globalize.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_hash.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_import.1.11.0  (cached)
⬇ retrieved ppx_here.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_js_style.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_inline_test.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_optcomp.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved elpi.1.19.5  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_sexp_conv.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_yojson_conv.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved ppx_yojson_conv_lib.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved sel.0.4.0  (cached)
⬇ retrieved ppxlib.0.33.0  (cached)
⬇ retrieved ppxlib_jane.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved sexplib.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved stdio.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved sexplib0.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved time_now.v0.17.0  (https://opam.ocaml.org/cache)
⬇ retrieved vscoq-language-server.2.1.7  (https://opam.ocaml.org/cache)
∗ installed ocaml_intrinsics_kernel.v0.17.0
⊘ removed   coq-elpi.2.2.3
⊘ removed   elpi.1.19.4
⊘ removed   ocaml-lsp-server.1.18.0~5.2preview
⊘ removed   ocamlformat.0.26.2
⊘ removed   ocamlformat-lib.0.26.2
⊘ removed   vscoq-language-server.2.1.4
⊘ removed   lsp.1.18.0
⊘ removed   ppx_import.1.11.0
⊘ removed   ppx_inline_test.v0.15.1
⊘ removed   ppx_yojson_conv.v0.15.1
⊘ removed   ppx_js_style.v0.15.0
⊘ removed   ppx_yojson_conv_lib.v0.15.0
⊘ removed   sel.0.4.0
⊘ removed   ppx_deriving.6.0.2
⊘ removed   sexplib.v0.15.1
⊘ removed   parsexp.v0.15.0
⊘ removed   time_now.v0.15.0
⊘ removed   jane-street-headers.v0.15.0
⊘ removed   jst-config.v0.15.1
⊘ removed   ppx_assert.v0.15.0
⊘ removed   ppx_base.v0.15.0
⊘ removed   ppx_cold.v0.15.0
⊘ removed   ppx_enumerate.v0.15.0
⊘ removed   ppx_hash.v0.15.0
⊘ removed   ppx_compare.v0.15.0
⊘ removed   ppx_here.v0.15.0
⊘ removed   ppx_optcomp.v0.15.0
⊘ removed   ppx_sexp_conv.v0.15.1
⊘ removed   ppxlib.0.33.0
⊘ removed   stdio.v0.15.0
⊘ removed   base.v0.15.1
⊘ removed   sexplib0.v0.15.1
∗ installed jane-street-headers.v0.17.0
∗ installed ppx_yojson_conv_lib.v0.17.0
∗ installed sexplib0.v0.17.0
∗ installed parsexp.v0.17.0
∗ installed sexplib.v0.17.0
∗ installed base.v0.17.1
∗ installed lsp.1.18.0
∗ installed stdio.v0.17.0
∗ installed ocamlformat-lib.0.26.2
∗ installed ppxlib.0.33.0
∗ installed ppx_cold.v0.17.0
∗ installed ppx_here.v0.17.0
∗ installed ppx_optcomp.v0.17.0
∗ installed ppxlib_jane.v0.17.0
∗ installed ppx_import.1.11.0
∗ installed ocamlformat.0.26.2
∗ installed ppx_js_style.v0.17.0
∗ installed ppx_deriving.6.0.2
∗ installed ppx_enumerate.v0.17.0
∗ installed ocaml-lsp-server.1.18.0~5.2preview
∗ installed ppx_globalize.v0.17.0
∗ installed ppx_compare.v0.17.0
∗ installed sel.0.4.0
∗ installed ppx_yojson_conv.v0.17.0
∗ installed ppx_sexp_conv.v0.17.0
∗ installed ppx_assert.v0.17.0
∗ installed ppx_hash.v0.17.0
∗ installed ppx_base.v0.17.0
∗ installed jst-config.v0.17.0
∗ installed time_now.v0.17.0
∗ installed ppx_inline_test.v0.17.0
∗ installed elpi.1.19.5
∗ installed vscoq-language-server.2.1.7
∗ installed coq-elpi.2.2.3
Done.
(base) mukesh.tiwari@Mukeshs-MacBook-Pro-2 ~ %
Last login: Sun Aug 11 18:54:26 on consolet 18:54
(base) mukesh.tiwari@Mukeshs-MacBook-Pro-2 ~ % opam upgrade
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).

The following packages are not being upgraded because the new versions conflict with other installed packages:
  - jsonrpc.1.19.0
  - lsp.1.19.0
    ∗ vscoq-language-server.2.1.7 is installed and requires lsp (>= 1.15 & < 1.19)
  - ocaml-lsp-server.1.19.0
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
(base) mukesh.tiwari@Mukeshs-MacBook-Pro-2 ~ %