# install ocaml palcage manager
sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
# Install bubblewrap on Ubuntu 18.04
sudo apt update
sudo apt install bubblewrap
# Install bubblewrap on Ubuntu 16.04
### install dependent
sudo apt-get install libcap-dev
sudo apt-get install m4
compile source code in https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/bubblewrap/0.2.1-1/bubblewrap_0.2.1.orig.tar.xz
./configure
make -j4
sudo make install
#install ocaml-base-compiler 4.02.3
http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.gz
read install of ocaml to install
# Using OPAM to install Coq
export OPAMROOT=~/opam-coq.8.8.1 # installation directory
opam init -n --comp=ocaml-base-compiler.4.02.3 -j 2 # 2 is