opam-version: "2.0"
compiler: ["ocaml-base-compiler.4.14.1"]
roots: [
  "coq.8.18.0"
  "dot-merlin-reader.4.9"
  "elpi.1.17.3"
  "ocaml-base-compiler.4.14.1"
  "ocaml-lsp-server.1.16.2"
  "ocamlformat.0.26.1"
]
installed: [
  "astring.0.8.5"
  "atd.2.12.0"
  "atdgen.2.12.0"
  "atdgen-runtime.2.12.0"
  "atdts.2.12.0"
  "base.v0.16.3"
  "base-bigarray.base"
  "base-bytes.base"
  "base-threads.base"
  "base-unix.base"
  "biniou.1.2.2"
  "camlp-streams.5.0.1"
  "chrome-trace.3.10.0"
  "cmdliner.1.2.0"
  "conf-gmp.4"
  "coq.8.18.0"
  "coq-core.8.18.0"
  "coq-stdlib.8.18.0"
  "coqide-server.8.18.0"
  "cppo.1.6.9"
  "csexp.1.5.2"
  "dot-merlin-reader.4.9"
  "dune.3.10.0"
  "dune-build-info.3.10.0"
  "dune-configurator.3.10.0"
  "dune-rpc.3.10.0"
  "dyn.3.10.0"
  "easy-format.1.3.4"
  "either.1.0.0"
  "elpi.1.17.3"
  "fiber.3.7.0"
  "fix.20230505"
  "fpath.0.7.3"
  "menhir.20230608"
  "menhirLib.20230608"
  "menhirSdk.20230608"
  "merlin-lib.4.12-414"
  "ocaml.4.14.1"
  "ocaml-base-compiler.4.14.1"
  "ocaml-compiler-libs.v0.12.4"
  "ocaml-config.2"
  "ocaml-lsp-server.1.16.2"
  "ocaml-options-vanilla.1"
  "ocaml-version.3.6.2"
  "ocamlbuild.0.14.2"
  "ocamlc-loc.3.10.0"
  "ocamlfind.1.9.6"
  "ocamlformat.0.26.1"
  "ocamlformat-lib.0.26.1"
  "ocamlformat-rpc-lib.0.26.1"
  "ocp-indent.1.8.1"
  "odoc-parser.2.0.0"
  "ordering.3.10.0"
  "pp.1.2.0"
  "ppx_derivers.1.2.1"
  "ppx_deriving.5.2.1"
  "ppx_yojson_conv_lib.v0.16.0"
  "ppxlib.0.30.0"
  "re.1.11.0"
  "result.1.5"
  "seq.base"
  "sexplib0.v0.16.0"
  "spawn.v0.15.1"
  "stdio.v0.16.0"
  "stdlib-shims.0.3.0"
  "stdune.3.10.0"
  "topkg.1.0.7"
  "uucp.15.1.0"
  "uuseg.15.1.0"
  "uutf.1.0.3"
  "xdg.3.10.0"
  "yojson.2.1.0"
  "zarith.1.13"
]