**$ opam init --yes**
[NOTE] Will configure from built-in defaults.
Checking for available remotes: rsync and local, git, mercurial, darcs. Perfect!

<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

<><> Required setup - please read <><><><><><><><><><><><><><><><><><><><><><><>

  In normal operation, opam only alters files within ~/.opam.

  However, to best integrate with your system, some environment variables
  should be set. If you allow it to, this initialisation step will update
  your bash configuration by adding the following line to ~/.profile:

    test -r /home/ltpf/.opam/opam-init/init.sh && . /home/ltpf/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true

  Otherwise, every time you want to access your opam installation, you will
  need to run:

    eval $(opam env)

  You can always re-run this setup with 'opam init' later.

Do you want opam to modify ~/.profile? [N/y/f]
(default is 'no', use 'f' to choose a different file) A hook can be added to opam's init scripts to ensure that the shell remains in
sync with the opam environment when they are loaded. Set that up? [y/N] y

<><> Creating initial switch (ocaml-system>=4.02.3) <><><><><><><><><><><><><><>

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
∗ installed ocaml-system.4.08.1
∗ installed ocaml-config.1
∗ installed ocaml.4.08.1
Done.




**$ eval `opam env`**

**$ opam switch create 4.11.1**

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.11.1] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
Processing  7/12: [ocaml-base-compiler: make world]date
∗ installed ocaml-base-compiler.4.11.1
∗ installed ocaml-config.1
∗ installed ocaml.4.11.1
Done.




**$ eval `opam env`**



**$ opam install -y depext**
The following actions will be performed:
  ∗ install opam-depext 1.1.3      [required by depext]
  ∗ install depext      transition
===== ∗ 2 =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[opam-depext.1.1.3] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed opam-depext.1.1.3
∗ installed depext.transition
Done.




**$ opam depext user-setup**
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=ubuntu, os-family=debian
# The following system packages are needed:
m4
# All required OS packages found.




**$ opam install -y user-setup**
The following actions will be performed:
  ∗ install dune       2.7.1  [required by re]
  ∗ install seq        base   [required by re]
  ∗ install cmdliner   1.0.4  [required by user-setup]
  ∗ install ocamlbuild 0.14.0 [required by user-setup]
  ∗ install conf-m4    1      [required by ocamlfind]
  ∗ install re         1.9.0  [required by user-setup]
  ∗ install ocamlfind  1.8.1  [required by user-setup]
  ∗ install user-setup 0.7
===== ∗ 8 =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from cache at https://opam.ocaml.org/cache
[ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ocamlfind.1.8.1] downloaded from cache at https://opam.ocaml.org/cache
[re.1.9.0] downloaded from cache at https://opam.ocaml.org/cache
[user-setup.0.7] downloaded from cache at https://opam.ocaml.org/cache
[dune.2.7.1] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed cmdliner.1.0.4
∗ installed conf-m4.1
∗ installed ocamlfind.1.8.1
∗ installed ocamlbuild.0.14.0
∗ installed seq.base
∗ installed dune.2.7.1
∗ installed re.1.9.0
∗ installed user-setup.0.7
Done.

<><> user-setup.0.7 installed successfully ><><><><><><><><><><><><><><><><><><>
=> To setup or update your editors, run 'opam user-setup install'.





**$ opam user-setup install**
ocamltop > base > .ocamlinit: up to date
emacs > .emacs: already exists, not installing base template
emacs > base > .emacs: adding configuration
emacs > base > .emacs.d/opam-user-setup.el: up to date






**$ opam install -y merlin**
The following actions will be performed:
  ∗ install   cppo        1.6.6 [required by yojson]
  ∗ install   easy-format 1.3.2 [required by yojson]
  ∗ install   biniou      1.2.1 [required by yojson]
  ∗ install   yojson      1.7.0 [required by merlin]
  ∗ install   merlin      3.3.9
  ↻ recompile user-setup  0.7   [uses merlin]
===== ∗ 5   ↻ 1 =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[biniou.1.2.1] downloaded from cache at https://opam.ocaml.org/cache
[cppo.1.6.6] downloaded from cache at https://opam.ocaml.org/cache
[easy-format.1.3.2] downloaded from cache at https://opam.ocaml.org/cache
[user-setup.0.7] found in cache
[yojson.1.7.0] downloaded from cache at https://opam.ocaml.org/cache
[merlin.3.3.9] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed easy-format.1.3.2
⊘ removed   user-setup.0.7
∗ installed cppo.1.6.6
∗ installed biniou.1.2.1
∗ installed yojson.1.7.0
∗ installed merlin.3.3.9
∗ installed user-setup.0.7
Done.

<><> user-setup.0.7 installed successfully ><><><><><><><><><><><><><><><><><><>
=> To setup or update your editors, run 'opam user-setup install'.





**$ opam depext coq**
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=ubuntu, os-family=debian
# The following system packages are needed:
findutils
m4
# All required OS packages found.






**$ opam install -y coq.8.12.0**
The following actions will be performed:
  ∗ install num            1.3    [required by coq]
  ∗ install conf-findutils 1      [required by coq]
  ∗ install coq            8.12.0
===== ∗ 3 =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[num.1.3] downloaded from cache at https://opam.ocaml.org/cache
[coq.8.12.0] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed conf-findutils.1
∗ installed num.1.3
∗ installed coq.8.12.0
Done.





**$ opam depext coqide**
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=ubuntu, os-family=debian
# The following system packages are needed:
findutils
gnome-icon-theme
libcairo2-dev
libexpat1-dev
libgtk-3-dev
libgtksourceview-3.0-dev
m4
pkg-config
# All required OS packages found.






**$ opam install -y coqide**
The following actions will be performed:
  ∗ install result                 1.5    [required by dune-configurator]
  ∗ install conf-gnome-icon-theme3 0      [required by coqide]
  ∗ install conf-pkg-config        1.3    [required by conf-gtksourceview3]
  ∗ install csexp                  1.3.1  [required by dune-configurator]
  ∗ install conf-gtksourceview3    0+2    [required by lablgtk3-sourceview3]
  ∗ install conf-gtk3              18     [required by lablgtk3]
  ∗ install conf-cairo             1      [required by cairo2]
  ∗ install dune-configurator      2.7.1  [required by cairo2]
  ∗ install cairo2                 0.6.1  [required by lablgtk3]
  ∗ install lablgtk3               3.1.1  [required by lablgtk3-sourceview3]
  ∗ install lablgtk3-sourceview3   3.1.1  [required by coqide]
  ∗ install coqide                 8.12.0
===== ∗ 12 =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[coqide.8.12.0] found in cache
[dune-configurator.2.7.1] found in cache
[csexp.1.3.1] downloaded from cache at https://opam.ocaml.org/cache
[cairo2.0.6.1] downloaded from cache at https://opam.ocaml.org/cache
[result.1.5] downloaded from cache at https://opam.ocaml.org/cache
[lablgtk3.3.1.1] downloaded from cache at https://opam.ocaml.org/cache
[lablgtk3-sourceview3.3.1.1] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed conf-gnome-icon-theme3.0
∗ installed conf-pkg-config.1.3
∗ installed conf-cairo.1
∗ installed result.1.5
∗ installed conf-gtk3.18
∗ installed conf-gtksourceview3.0+2
∗ installed csexp.1.3.1
∗ installed dune-configurator.2.7.1
∗ installed cairo2.0.6.1
∗ installed lablgtk3.3.1.1
∗ installed lablgtk3-sourceview3.3.1.1
∗ installed coqide.8.12.0
Done.