coq-switch

opam-version: "2.0"
compiler: ["ocaml-system.5.2.0"]
roots: ["coq.8.19.2" "ocaml-system.5.2.0"]
installed: [
  "base-bigarray.base"
  "base-domains.base"
  "base-nnp.base"
  "base-threads.base"
  "base-unix.base"
  "conf-gmp.4"
  "conf-linux-libc-dev.0"
  "coq.8.19.2"
  "coq-core.8.19.2"
  "coq-stdlib.8.19.2"
  "coqide-server.8.19.2"
  "dune.3.16.0"
  "host-arch-x86_64.1"
  "host-system-other.1"
  "ocaml.5.2.0"
  "ocaml-config.3"
  "ocaml-system.5.2.0"
  "ocamlfind.1.9.6"
  "zarith.1.13"
]