Choose for which OS you want Colibri2
sudo apt install opam
opam install depext
opam depext colibri2
opam install colibri2
brew install opam gmp gtk+
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig
opam install colibri2
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam
opam init --disable-sandboxing --shell-setup
eval $(opam env)
opam install -y depext
opam depext --install -y colibri2
Downloads