opam
opam copied to clipboard
ocaml
Install with `--dry-run` wiped opam files for installed packages that are no longer available
While trying to upgrade dune from 3.16.0 to 3.19.1 I ran opam install --dry-run dune.3.19.1 and was trying to figure out why it wanted to do some seemingly-unrelated upgrades (which might be a separate issue in itself), I eventually realized they correspond to packages which just got archived on opam-repository.
Eventually, I decided whatever, I'll let opam upgrade all of them then and actually gave the y prompt to opam install --dry-run dune.3.19.1. The full output is collapsed here:
Details
$ opam install --dry-run dune.3.19.1
The following actions will be simulated:
=== recompile 135 packages
↻ angstrom 0.16.0 [uses dune]
↻ apron v0.9.15 (pinned) [uses mlgmpidl]
↻ arg-complete 0.2.1 [uses dune]
↻ asn1-combinators 0.2.6 [uses dune]
↻ base v0.16.3 [uses dune]
↻ base64 3.5.1 [uses dune]
↻ batteries 3.8.0 [uses dune]
↻ benchmark 1.6 [uses dune]
↻ bigarray-compat 1.1.0 [uses dune]
↻ bigstringaf 0.9.1 [uses dune]
↻ bisect_ppx 2.8.3 [uses dune]
↻ bos 0.2.1 [uses topkg]
↻ ca-certs 0.2.3 [uses dune]
↻ camlp-streams 5.0.1 [uses dune]
↻ catapult 0.2 [uses dune]
↻ catapult-file 0.2 [uses dune]
↻ cohttp 5.3.1 [uses dune]
↻ cohttp-lwt 5.3.0 [uses dune]
↻ cohttp-lwt-unix 5.3.0 [uses dune]
↻ conduit 6.2.3 [uses dune]
↻ conduit-lwt 6.2.3 [uses dune]
↻ conduit-lwt-unix 6.2.3 [uses dune]
↻ containers 3.13.1 [uses dune]
↻ containers-data 3.13.1 [uses dune]
↻ cppo 1.6.9 [uses dune]
↻ cpu 2.0.0 [uses dune]
↻ csexp 1.5.2 [uses dune]
↻ cstruct 6.2.0 [uses dune]
↻ ctypes 0.22.0 [uses dune]
↻ ctypes-foreign 0.22.0 [uses dune]
↻ ctypes_stubs_js 0.1 [uses dune]
↻ curly 0.3.0 [uses dune]
↻ domain-local-await 1.0.1 [uses dune]
↻ domain_shims 0.1.0 [uses dune]
↻ dune-release 2.0.0 [uses dune]
↻ duration 0.2.1 [uses dune]
↻ either 1.0.0 [uses dune]
↻ eqaf 0.9 [uses dune]
↻ fiber 3.7.0 [uses dune]
↻ fileutils 0.6.4 [uses dune]
↻ fix 20230505 [uses dune]
↻ gen 1.1 [uses dune]
↻ gen_js_api 1.1.2 [uses dune]
↻ gmap 0.3.0 [uses dune]
↻ goblint-cil 2.0.6 (pinned) [uses dune]
↻ hex 1.5.0 [uses dune]
↻ integers 0.7.0 [uses dune]
↻ integers_stubs_js 1.0 [uses dune]
↻ ipaddr 5.6.0 [uses dune]
↻ ipaddr-sexp 5.6.0 [uses dune]
↻ iter 1.8 [uses dune]
↻ js_of_ocaml 4.1.0 [uses dune]
↻ js_of_ocaml-compiler 4.1.0 [uses dune]
↻ js_of_ocaml-lwt 4.1.0 [uses dune]
↻ js_of_ocaml-ppx 4.1.0 [uses dune]
↻ json-data-encoding 1.0.1 [uses dune]
↻ jsonrpc 1.20.1 [uses dune]
↻ jsoo-react 0.1 [uses dune]
↻ lambda-term 3.3.2 [uses dune]
↻ logs 0.7.0 [uses topkg]
↻ lsp 1.20.1 [uses dune]
↻ lwt 5.7.0 [uses dune]
↻ lwt_ppx 2.1.0 [uses dune]
↻ lwt_react 1.2.0 [uses dune]
↻ macaddr 5.6.0 [uses dune]
↻ magic-mime 1.3.1 [uses dune]
↻ menhir 20231231 [uses dune]
↻ menhirCST 20231231 [uses dune]
↻ menhirLib 20231231 [uses dune]
↻ menhirSdk 20231231 [uses dune]
↻ merlin-extend 0.6.1 [uses dune]
↻ merlin-lib 4.18-414 [uses dune]
↻ mew 0.1.0 [uses dune]
↻ mew_vi 0.5.0 [uses dune]
↻ mirage-crypto 0.11.3 [uses dune]
↻ mirage-crypto-ec 0.11.3 [uses dune]
↻ mirage-crypto-pk 0.11.3 [uses dune]
↻ mirage-crypto-rng 0.11.3 [uses dune]
↻ mlgmpidl 1.3.0 [uses bigarray-compat]
↻ modulectomy 0.1 (pinned) [uses dune]
↻ ocaml-compiler-libs v0.12.4 [uses dune]
↻ ocaml-lsp-server 1.20.1-4.14 [uses dune]
↻ ocaml-syntax-shims 1.0.0 [uses dune]
↻ ocamlformat 0.27.0 [uses dune]
↻ ocamlformat-lib 0.27.0 [uses dune]
↻ ocamlformat-rpc-lib 0.26.2 [uses dune]
↻ ocamlgraph 2.1.0 [uses dune]
↻ ocp-indent 1.8.1 [uses dune]
↻ ocplib-endian 1.2 [uses dune]
↻ octavius 1.2.2 [uses dune]
↻ odep 0.2.1 [uses dune]
↻ ojs 1.1.2 [uses dune]
↻ opam-core 2.1.6 [uses dune]
↻ opam-file-format 2.1.6 [uses dune]
↻ opam-format 2.1.6 [uses dune]
↻ opam-repository 2.1.6 [uses dune]
↻ opam-state 2.1.6 [uses dune]
↻ ounit2 2.2.7 [uses dune]
↻ owee 0.7 [uses dune]
↻ parsexp v0.16.0 [uses dune]
↻ pbkdf 1.2.0 [uses dune]
↻ pp 2.0.0 [uses dune]
↻ ppx_blob 0.9.0 [uses dune]
↻ ppx_derivers 1.2.1 [uses dune]
↻ ppx_deriving 6.0.2 [uses dune]
↻ ppx_deriving_hash 0.1.2 [uses dune]
↻ ppx_deriving_yojson 3.8.0 [uses dune]
↻ ppx_js_style v0.16.0 [uses dune]
↻ ppx_sexp_conv v0.16.0 [uses dune]
↻ ppx_yojson_conv v0.16.0 [uses dune]
↻ ppx_yojson_conv_lib v0.16.0 [uses dune]
↻ re 1.11.0 [uses dune]
↻ reason 3.11.0 [uses dune]
↻ result 1.5 [uses dune]
↻ sedlex 3.2 [uses dune]
↻ sexplib v0.16.0 [uses dune]
↻ sexplib0 v0.16.0 [uses dune]
↻ sha 1.15.4 [uses dune]
↻ spawn v0.15.1 [uses dune]
↻ stdio v0.16.0 [uses dune]
↻ stdlib-shims 0.3.0 [uses dune]
↻ stringext 1.6.0 [uses dune]
↻ thread-table 1.0.0 [uses dune]
↻ tree_layout 0.2 [uses dune]
↻ trie 1.0.0 [uses dune]
↻ tyre 0.5 [uses dune]
↻ tyxml 4.6.0 [uses dune]
↻ uri 4.4.0 [uses dune]
↻ uri-sexp 4.4.0 [uses dune]
↻ utop 2.14.0 [uses dune]
↻ x509 0.16.5 [uses dune]
↻ yaml 3.2.0 [uses dune]
↻ yojson 2.2.1 [uses dune]
↻ zarith_stubs_js v0.16.1 [uses dune]
↻ zed 3.2.3 [uses dune]
=== upgrade 27 packages
↗ chrome-trace 3.16.0 to 3.19.1 [uses dune]
↗ cohttp-server-lwt-unix 6.0.0~beta2 to 6.1.1 [uses dune]
↗ crunch 3.3.1 to 4.0.0 [uses dune]
↗ digestif 1.2.0 to 1.3.0 [uses dune]
↗ domain-name 0.4.0 to 0.4.1 [uses dune]
↗ dune 3.18.1 to 3.19.1
↗ dune-build-info 3.18.1 to 3.19.1 [uses dune]
↗ dune-configurator 3.18.1 to 3.19.1 [uses dune]
↗ dune-private-libs 3.18.1 to 3.19.1 [uses dune]
↗ dune-rpc 3.18.1 to 3.19.1 [uses dune]
↗ dune-site 3.18.1 to 3.19.1 [uses dune]
↗ dyn 3.18.1 to 3.19.1 [uses dune]
↗ http 6.0.0~beta2 to 6.1.1 [uses dune]
↗ ocaml-version 3.6.7 to 4.0.1 [uses dune]
↗ ocamlc-loc 3.18.1 to 3.19.1 [uses dune]
↗ odoc 2.4.2 to 3.0.0 [uses dune]
↗ odoc-parser 2.4.2 to 3.0.0 [uses dune]
↗ ordering 3.18.1 to 3.19.1 [uses dune]
↗ ppxlib 0.32.1 to 0.35.0 [uses dune]
↗ ptime 1.1.0 to 1.2.0 [required by asn1-combinators]
↗ qcheck-core 0.21.3 to 0.25 [uses dune]
↗ qcheck-ounit 0.21.3 to 0.25 [uses dune]
↗ stdune 3.18.1 to 3.19.1 [uses dune]
↗ topkg 1.0.7 to 1.0.8 [required by ptime]
↗ uucp 15.1.0 to 16.0.0 [uses topkg]
↗ uuseg 15.1.0 to 16.0.0 [uses topkg]
↗ xdg 3.16.0 to 3.19.1 [uses dune]
Proceed with ↻ 135 recompilations and ↗ 27 upgrades? [Y/n] y
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⊘ removed apron.v0.9.15
⊘ removed arg-complete.0.2.1
⊘ removed batteries.3.8.0
⊘ removed benchmark.1.6
⊘ removed bisect_ppx.2.8.3
⊘ removed catapult-file.0.2
⊘ removed catapult.0.2
⊘ removed cohttp-lwt-unix.5.3.0
⊘ removed cohttp-lwt.5.3.0
⊘ removed cohttp.5.3.1
⊘ removed cohttp-server-lwt-unix.6.0.0~beta2
⊘ removed conduit-lwt-unix.6.2.3
⊘ removed ca-certs.0.2.3
⊘ removed conduit-lwt.6.2.3
⊘ removed conduit.6.2.3
⊘ removed cpu.2.0.0
⊘ removed ctypes-foreign.0.22.0
⊘ removed ctypes_stubs_js.0.1
⊘ removed digestif.1.2.0
⊘ removed domain-local-await.1.0.1
⊘ removed domain_shims.0.1.0
⊘ removed dune-release.2.0.0
⊘ removed curly.0.3.0
⊘ removed dune-site.3.18.1
⊘ removed dune-private-libs.3.18.1
⊘ removed fileutils.0.6.4
⊘ removed goblint-cil.2.0.6
⊘ removed http.6.0.0~beta2
⊘ removed integers_stubs_js.1.0
⊘ removed ipaddr-sexp.5.6.0
⊘ removed js_of_ocaml-lwt.4.1.0
⊘ removed js_of_ocaml-ppx.4.1.0
⊘ removed json-data-encoding.1.0.1
⊘ removed hex.1.5.0
⊘ removed jsoo-react.0.1
⊘ removed gen_js_api.1.1.2
⊘ removed lwt_ppx.2.1.0
⊘ removed magic-mime.1.3.1
⊘ removed mlgmpidl.1.3.0
⊘ removed modulectomy.0.1
⊘ removed containers-data.3.13.1
⊘ removed containers.3.13.1
⊘ removed ocaml-lsp-server.1.20.1-4.14
⊘ removed chrome-trace.3.16.0
⊘ removed dune-rpc.3.18.1
⊘ removed fiber.3.7.0
⊘ removed lsp.1.20.1
⊘ removed jsonrpc.1.20.1
⊘ removed merlin-lib.4.18-414
⊘ removed ocamlc-loc.3.18.1
⊘ removed ocamlformat.0.27.0
⊘ removed ocamlformat-lib.0.27.0
⊘ removed either.1.0.0
⊘ removed ocaml-version.3.6.7
⊘ removed ocamlformat-rpc-lib.0.26.2
⊘ removed ocp-indent.1.8.1
⊘ removed odep.0.2.1
⊘ removed odoc.2.4.2
⊘ removed crunch.3.3.1
⊘ removed odoc-parser.2.4.2
⊘ removed camlp-streams.5.0.1
⊘ removed ojs.1.1.2
⊘ removed opam-state.2.1.6
⊘ removed opam-repository.2.1.6
⊘ removed opam-format.2.1.6
⊘ removed opam-core.2.1.6
⊘ removed ocamlgraph.2.1.0
⊘ removed opam-file-format.2.1.6
⊘ removed owee.0.7
⊘ removed ppx_blob.0.9.0
⊘ removed ppx_deriving_hash.0.1.2
⊘ removed ppx_deriving_yojson.3.8.0
⊘ removed ppx_deriving.6.0.2
⊘ removed ppx_yojson_conv.v0.16.0
⊘ removed ppx_js_style.v0.16.0
⊘ removed octavius.1.2.2
⊘ removed ppx_yojson_conv_lib.v0.16.0
⊘ removed qcheck-ounit.0.21.3
⊘ removed ounit2.2.2.7
⊘ removed qcheck-core.0.21.3
⊘ removed reason.3.11.0
⊘ removed dune-build-info.3.18.1
⊘ removed fix.20230505
⊘ removed merlin-extend.0.6.1
⊘ removed sedlex.3.2
⊘ removed gen.1.1
⊘ removed sexplib.v0.16.0
⊘ removed parsexp.v0.16.0
⊘ removed sha.1.15.4
⊘ removed spawn.v0.15.1
⊘ removed stdio.v0.16.0
⊘ removed stdune.3.18.1
⊘ removed dyn.3.18.1
⊘ removed ordering.3.18.1
⊘ removed pp.2.0.0
⊘ removed thread-table.1.0.0
⊘ removed tree_layout.0.2
⊘ removed iter.1.8
⊘ removed tyre.0.5
⊘ removed tyxml.4.6.0
⊘ removed re.1.11.0
⊘ removed uri-sexp.4.4.0
⊘ removed ppx_sexp_conv.v0.16.0
⊘ removed base.v0.16.3
⊘ removed uri.4.4.0
⊘ removed angstrom.0.16.0
⊘ removed bigstringaf.0.9.1
⊘ removed ocaml-syntax-shims.1.0.0
⊘ removed stringext.1.6.0
⊘ removed utop.2.14.0
⊘ removed lambda-term.3.3.2
⊘ removed lwt_react.1.2.0
⊘ removed mew_vi.0.5.0
⊘ removed mew.0.1.0
⊘ removed trie.1.0.0
⊘ removed x509.0.16.5
⊘ removed asn1-combinators.0.2.6
⊘ removed base64.3.5.1
⊘ removed gmap.0.3.0
⊘ removed ipaddr.5.6.0
⊘ removed domain-name.0.4.0
⊘ removed macaddr.5.6.0
⊘ removed mirage-crypto-ec.0.11.3
⊘ removed mirage-crypto-pk.0.11.3
⊘ removed mirage-crypto-rng.0.11.3
⊘ removed duration.0.2.1
⊘ removed pbkdf.1.2.0
⊘ removed mirage-crypto.0.11.3
⊘ removed eqaf.0.9
⊘ removed cstruct.6.2.0
⊘ removed ptime.1.1.0
⊘ removed xdg.3.16.0
⊘ removed yaml.3.2.0
⊘ removed bos.0.2.1
⊘ removed ctypes.0.22.0
⊘ removed bigarray-compat.1.1.0
⊘ removed integers.0.7.0
⊘ removed logs.0.7.0
⊘ removed js_of_ocaml.4.1.0
⊘ removed js_of_ocaml-compiler.4.1.0
⊘ removed lwt.5.7.0
⊘ removed dune-configurator.3.18.1
⊘ removed csexp.1.5.2
⊘ removed menhir.20231231
⊘ removed menhirCST.20231231
⊘ removed menhirLib.20231231
⊘ removed menhirSdk.20231231
⊘ removed ocplib-endian.1.2
⊘ removed cppo.1.6.9
⊘ removed ppxlib.0.32.1
⊘ removed ocaml-compiler-libs.v0.12.4
⊘ removed ppx_derivers.1.2.1
⊘ removed sexplib0.v0.16.0
⊘ removed stdlib-shims.0.3.0
⊘ removed yojson.2.2.1
⊘ removed zarith_stubs_js.v0.16.1
⊘ removed zed.3.2.3
⊘ removed result.1.5
⊘ removed dune.3.18.1
⊘ removed uuseg.15.1.0
⊘ removed uucp.15.1.0
⊘ removed topkg.1.0.7
Installing dune.3.19.1.
∗ installed dune.3.19.1
Installing topkg.1.0.8.
∗ installed topkg.1.0.8
Installing either.1.0.0.
∗ installed either.1.0.0
Installing fix.20230505.
∗ installed fix.20230505
Installing gen.1.1.
∗ installed gen.1.1
Installing gmap.0.3.0.
∗ installed gmap.0.3.0
Installing http.6.1.1.
∗ installed http.6.1.1
Installing iter.1.8.
∗ installed iter.1.8
Installing jsonrpc.1.20.1.
∗ installed jsonrpc.1.20.1
Installing macaddr.5.6.0.
∗ installed macaddr.5.6.0
Installing magic-mime.1.3.1.
∗ installed magic-mime.1.3.1
Installing menhirCST.20231231.
∗ installed menhirCST.20231231
Installing menhirLib.20231231.
∗ installed menhirLib.20231231
Installing menhirSdk.20231231.
∗ installed menhirSdk.20231231
Installing ocaml-compiler-libs.v0.12.4.
∗ installed ocaml-compiler-libs.v0.12.4
Installing menhir.20231231.
∗ installed menhir.20231231
Installing ocaml-syntax-shims.1.0.0.
∗ installed ocaml-syntax-shims.1.0.0
Installing ocaml-version.4.0.1.
∗ installed ocaml-version.4.0.1
Installing ocp-indent.1.8.1.
∗ installed ocp-indent.1.8.1
Installing octavius.1.2.2.
∗ installed octavius.1.2.2
Installing opam-file-format.2.1.6.
∗ installed opam-file-format.2.1.6
Installing ordering.3.19.1.
∗ installed ordering.3.19.1
Installing owee.0.7.
∗ installed owee.0.7
Installing pp.2.0.0.
∗ installed pp.2.0.0
Installing ppx_derivers.1.2.1.
∗ installed ppx_derivers.1.2.1
Installing dyn.3.19.1.
∗ installed dyn.3.19.1
Installing ptime.1.2.0.
∗ installed ptime.1.2.0
Installing ocamlc-loc.3.19.1.
∗ installed ocamlc-loc.3.19.1
Installing duration.0.2.1.
∗ installed duration.0.2.1
Installing qcheck-core.0.25.
∗ installed qcheck-core.0.25
Installing re.1.11.0.
∗ installed re.1.11.0
Installing result.1.5.
∗ installed result.1.5
Installing sexplib0.v0.16.0.
∗ installed sexplib0.v0.16.0
Installing dune-build-info.3.19.1.
∗ installed dune-build-info.3.19.1
Installing parsexp.v0.16.0.
∗ installed parsexp.v0.16.0
Installing spawn.v0.15.1.
∗ installed spawn.v0.15.1
Installing sexplib.v0.16.0.
∗ installed sexplib.v0.16.0
Installing stdlib-shims.0.3.0.
∗ installed stdlib-shims.0.3.0
Installing stringext.1.6.0.
∗ installed stringext.1.6.0
Installing fileutils.0.6.4.
∗ installed fileutils.0.6.4
Installing integers.0.7.0.
∗ installed integers.0.7.0
Installing ocamlgraph.2.1.0.
∗ installed ocamlgraph.2.1.0
Installing ounit2.2.2.7.
∗ installed ounit2.2.2.7
Installing ppxlib.0.35.0.
∗ installed ppxlib.0.35.0
Installing qcheck-ounit.0.25.
∗ installed qcheck-ounit.0.25
Installing domain_shims.0.1.0.
∗ installed domain_shims.0.1.0
Installing ppx_blob.0.9.0.
∗ installed ppx_blob.0.9.0
Installing sedlex.3.2.
∗ installed sedlex.3.2
Installing sha.1.15.4.
∗ installed sha.1.15.4
Installing thread-table.1.0.0.
∗ installed thread-table.1.0.0
Installing tree_layout.0.2.
∗ installed tree_layout.0.2
Installing domain-name.0.4.1.
∗ installed domain-name.0.4.1
Installing trie.1.0.0.
∗ installed trie.1.0.0
Installing ipaddr.5.6.0.
∗ installed ipaddr.5.6.0
Installing mew.0.1.0.
∗ installed mew.0.1.0
Installing tyre.0.5.
∗ installed tyre.0.5
Installing mew_vi.0.5.0.
∗ installed mew_vi.0.5.0
Installing tyxml.4.6.0.
∗ installed tyxml.4.6.0
Installing uucp.16.0.0.
∗ installed uucp.16.0.0
Installing xdg.3.19.1.
∗ installed xdg.3.19.1
Installing uuseg.16.0.0.
∗ installed uuseg.16.0.0
Installing yojson.2.2.1.
∗ installed yojson.2.2.1
Installing zarith_stubs_js.v0.16.1.
∗ installed zarith_stubs_js.v0.16.1
Installing js_of_ocaml-compiler.4.1.0.
∗ installed js_of_ocaml-compiler.4.1.0
Installing ppx_yojson_conv_lib.v0.16.0.
∗ installed ppx_yojson_conv_lib.v0.16.0
Installing js_of_ocaml.4.1.0.
∗ installed js_of_ocaml.4.1.0
Installing lsp.1.20.1.
∗ installed lsp.1.20.1
Installing integers_stubs_js.1.0.
∗ installed integers_stubs_js.1.0
Installing js_of_ocaml-ppx.4.1.0.
∗ installed js_of_ocaml-ppx.4.1.0
Installing domain-local-await.1.0.1.
∗ installed domain-local-await.1.0.1
Installing ojs.1.1.2.
∗ installed ojs.1.1.2
Installing zed.3.2.3.
∗ installed zed.3.2.3
Installing gen_js_api.1.1.2.
∗ installed gen_js_api.1.1.2
Installing jsoo-react.0.1.
∗ installed jsoo-react.0.1
Installing curly.0.3.0.
∗ installed curly.0.3.0
Installing ctypes_stubs_js.0.1.
∗ installed ctypes_stubs_js.0.1
Installing cstruct.6.2.0.
∗ installed cstruct.6.2.0
Installing hex.1.5.0.
∗ installed hex.1.5.0
Installing eqaf.0.9.
∗ installed eqaf.0.9
Installing digestif.1.3.0.
∗ installed digestif.1.3.0
Installing csexp.1.5.2.
∗ installed csexp.1.5.2
Installing stdune.3.19.1.
∗ installed stdune.3.19.1
Installing ocamlformat-rpc-lib.0.26.2.
∗ installed ocamlformat-rpc-lib.0.26.2
Installing merlin-lib.4.18-414.
∗ installed merlin-lib.4.18-414
Installing fiber.3.7.0.
∗ installed fiber.3.7.0
Installing dune-rpc.3.19.1.
∗ installed dune-rpc.3.19.1
Installing dune-private-libs.3.19.1.
∗ installed dune-private-libs.3.19.1
Installing dune-site.3.19.1.
∗ installed dune-site.3.19.1
Installing dune-configurator.3.19.1.
∗ installed dune-configurator.3.19.1
Installing mirage-crypto.0.11.3.
∗ installed mirage-crypto.0.11.3
Installing pbkdf.1.2.0.
∗ installed pbkdf.1.2.0
Installing crunch.4.0.0.
∗ installed crunch.4.0.0
Installing cpu.2.0.0.
∗ installed cpu.2.0.0
Installing cppo.1.6.9.
∗ installed cppo.1.6.9
Installing opam-core.2.1.6.
∗ installed opam-core.2.1.6
Installing ppx_deriving.6.0.2.
∗ installed ppx_deriving.6.0.2
Installing opam-format.2.1.6.
∗ installed opam-format.2.1.6
Installing ppx_deriving_hash.0.1.2.
∗ installed ppx_deriving_hash.0.1.2
Installing opam-repository.2.1.6.
∗ installed opam-repository.2.1.6
Installing ppx_deriving_yojson.3.8.0.
∗ installed ppx_deriving_yojson.3.8.0
Installing opam-state.2.1.6.
∗ installed opam-state.2.1.6
Installing ocplib-endian.1.2.
∗ installed ocplib-endian.1.2
Installing merlin-extend.0.6.1.
∗ installed merlin-extend.0.6.1
Installing reason.3.11.0.
∗ installed reason.3.11.0
Installing lwt.5.7.0.
∗ installed lwt.5.7.0
Installing js_of_ocaml-lwt.4.1.0.
∗ installed js_of_ocaml-lwt.4.1.0
Installing logs.0.7.0.
∗ installed logs.0.7.0
Installing lwt_ppx.2.1.0.
∗ installed lwt_ppx.2.1.0
Installing goblint-cil.2.0.6.
∗ installed goblint-cil.2.0.6
Installing lwt_react.1.2.0.
∗ installed lwt_react.1.2.0
Installing mirage-crypto-rng.0.11.3.
∗ installed mirage-crypto-rng.0.11.3
Installing lambda-term.3.3.2.
∗ installed lambda-term.3.3.2
Installing mirage-crypto-ec.0.11.3.
∗ installed mirage-crypto-ec.0.11.3
Installing mirage-crypto-pk.0.11.3.
∗ installed mirage-crypto-pk.0.11.3
Installing utop.2.14.0.
∗ installed utop.2.14.0
Installing containers.3.13.1.
∗ installed containers.3.13.1
Installing containers-data.3.13.1.
∗ installed containers-data.3.13.1
Installing modulectomy.0.1.
∗ installed modulectomy.0.1
Installing cohttp-server-lwt-unix.6.1.1.
∗ installed cohttp-server-lwt-unix.6.1.1
Installing chrome-trace.3.19.1.
∗ installed chrome-trace.3.19.1
Installing catapult.0.2.
∗ installed catapult.0.2
Installing catapult-file.0.2.
∗ installed catapult-file.0.2
Installing camlp-streams.5.0.1.
∗ installed camlp-streams.5.0.1
Installing odoc-parser.3.0.0.
∗ installed odoc-parser.3.0.0
Installing odoc.3.0.0.
∗ installed odoc.3.0.0
Installing bos.0.2.1.
∗ installed bos.0.2.1
Installing dune-release.2.0.0.
∗ installed dune-release.2.0.0
Installing bisect_ppx.2.8.3.
∗ installed bisect_ppx.2.8.3
Installing bigstringaf.0.9.1.
∗ installed bigstringaf.0.9.1
Installing bigarray-compat.1.1.0.
∗ installed bigarray-compat.1.1.0
Installing mlgmpidl.1.3.0.
∗ installed mlgmpidl.1.3.0
Installing ctypes.0.22.0.
∗ installed ctypes.0.22.0
Installing yaml.3.2.0.
∗ installed yaml.3.2.0
Installing ctypes-foreign.0.22.0.
∗ installed ctypes-foreign.0.22.0
Installing benchmark.1.6.
∗ installed benchmark.1.6
Installing batteries.3.8.0.
∗ installed batteries.3.8.0
Installing base64.3.5.1.
∗ installed base64.3.5.1
Installing base.v0.16.3.
∗ installed base.v0.16.3
Installing stdio.v0.16.0.
∗ installed stdio.v0.16.0
Installing ppx_sexp_conv.v0.16.0.
∗ installed ppx_sexp_conv.v0.16.0
Installing ppx_js_style.v0.16.0.
∗ installed ppx_js_style.v0.16.0
Installing ppx_yojson_conv.v0.16.0.
∗ installed ppx_yojson_conv.v0.16.0
Installing odep.0.2.1.
∗ installed odep.0.2.1
Installing ocamlformat-lib.0.27.0.
∗ installed ocamlformat-lib.0.27.0
Installing ocamlformat.0.27.0.
∗ installed ocamlformat.0.27.0
Installing ocaml-lsp-server.1.20.1-4.14.
∗ installed ocaml-lsp-server.1.20.1-4.14
Installing ipaddr-sexp.5.6.0.
∗ installed ipaddr-sexp.5.6.0
Installing asn1-combinators.0.2.6.
∗ installed asn1-combinators.0.2.6
Installing x509.0.16.5.
∗ installed x509.0.16.5
Installing ca-certs.0.2.3.
∗ installed ca-certs.0.2.3
Installing arg-complete.0.2.1.
∗ installed arg-complete.0.2.1
Installing apron.v0.9.15.
∗ installed apron.v0.9.15
Installing angstrom.0.16.0.
∗ installed angstrom.0.16.0
Installing uri.4.4.0.
∗ installed uri.4.4.0
Installing uri-sexp.4.4.0.
∗ installed uri-sexp.4.4.0
Installing json-data-encoding.1.0.1.
∗ installed json-data-encoding.1.0.1
Installing conduit.6.2.3.
∗ installed conduit.6.2.3
Installing conduit-lwt.6.2.3.
∗ installed conduit-lwt.6.2.3
Installing conduit-lwt-unix.6.2.3.
∗ installed conduit-lwt-unix.6.2.3
Installing cohttp.5.3.1.
∗ installed cohttp.5.3.1
Installing cohttp-lwt.5.3.0.
∗ installed cohttp-lwt.5.3.0
Installing cohttp-lwt-unix.5.3.0.
∗ installed cohttp-lwt-unix.5.3.0
Done.
<><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> This package requires additional configuration for use in editors. Install package 'user-setup', or manually:
* for Emacs, add these lines to ~/.emacs:
(add-to-list 'load-path "/home/simmo/dev/goblint/sv-comp/goblint/_opam/share/emacs/site-lisp")
(require 'ocp-indent)
* for Vim, add this line to ~/.vimrc:
set rtp^="/home/simmo/dev/goblint/sv-comp/goblint/_opam/share/ocp-indent/vim"
Then I realized I had left in the --dry-run and nothing was actually installed (it went way too quick), so I re-ran it without:
$ opam install dune.3.19.1
[ERROR] No definition found for the following installed packages: { chrome-trace.3.16.0, cohttp-server-lwt-unix.6.0.0~beta2, crunch.3.3.1, digestif.1.2.0, domain-name.0.4.0, dune.3.18.1,
dune-build-info.3.18.1, dune-configurator.3.18.1, dune-private-libs.3.18.1, dune-rpc.3.18.1, dune-site.3.18.1, dyn.3.18.1, ocaml-version.3.6.7, ocamlc-loc.3.18.1, odoc.2.4.2,
odoc-parser.2.4.2, ordering.3.18.1, ppxlib.0.32.1, ptime.1.1.0, qcheck-core.0.21.3, qcheck-ounit.0.21.3, stdune.3.18.1, topkg.1.0.7, uucp.15.1.0, uuseg.15.1.0, xdg.3.16.0 }
This switch may need to be reinstalled
[ERROR] No opam file found for chrome-trace.3.16.0
[ERROR] No opam file found for cohttp-server-lwt-unix.6.0.0~beta2
[ERROR] No opam file found for crunch.3.3.1
[ERROR] No opam file found for digestif.1.2.0
[ERROR] No opam file found for domain-name.0.4.0
[ERROR] No opam file found for dune.3.18.1
[ERROR] No opam file found for dune-build-info.3.18.1
[ERROR] No opam file found for dune-configurator.3.18.1
[ERROR] No opam file found for dune-private-libs.3.18.1
[ERROR] No opam file found for dune-rpc.3.18.1
[ERROR] No opam file found for dune-site.3.18.1
[ERROR] No opam file found for dyn.3.18.1
[ERROR] No opam file found for ocaml-version.3.6.7
[ERROR] No opam file found for ocamlc-loc.3.18.1
[ERROR] No opam file found for odoc.2.4.2
[ERROR] No opam file found for odoc-parser.2.4.2
[ERROR] No opam file found for ordering.3.18.1
[ERROR] No opam file found for ppxlib.0.32.1
[ERROR] No opam file found for ptime.1.1.0
[ERROR] No opam file found for qcheck-core.0.21.3
[ERROR] No opam file found for qcheck-ounit.0.21.3
[ERROR] No opam file found for stdune.3.18.1
[ERROR] No opam file found for topkg.1.0.7
[ERROR] No opam file found for uucp.15.1.0
[ERROR] No opam file found for uuseg.15.1.0
[ERROR] No opam file found for xdg.3.16.0
The following actions will be performed:
Fatal error:
Not_found
And suddenly opam cannot find files for packages I still have installed, but are no longer on opam-repository. This was fine before the dry run.
Therefore, install with --dry-run wipes some files!
This was all with opam 2.4.0~beta1.
Indeed, dry run has not been tested fully. Looking at your issue, I've found an old local branch that checks and fixes some dry run workflow. I think that https://github.com/ocaml/opam/pull/6565/commits/6098492670ad94ab42ed74c3dc0c3dac8fa55226 in #6565 fixes your issue. We need to confirm that.
